Q325.5 .C654 2003 Conference on Computational Learning Theory (16th: 2003: Washington, D.C.). Learning theory and Kernel machines: 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003: proceedings / Bernhard Scholkopf, Manfred K. Warmuth (eds.). Berlin; New York: Springer, 2003. Lecture notes in computer science; 2777. -------------------- Q334 .P33 2002 Pacific Rim International Conference on Artificial Intelligence (7th: 2002: Tokyo, Japan). PRICAI 2002: trends in artificial intelligence: 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002: proceedings / Mitsuru Ishizuka, Abdul Sattar (eds.). New York: Springer, 2002. Lecture notes in computer science; 2417. -------------------- Q340 .P75 2003 Practice and theory of automated timetabling IV: 4th international conference, PATAT 2002, Gent, Belgium, August 21-23, 2002: revised selected papers / Edmund Burke, Patrick De Causmaecker (eds.). Berlin; New York: Springer, c2003. Lecture notes in computer science; 2740. -------------------- QA9.2 .M38 2003 Sacks, Gerald E. Mathematical logic in the 20th century. Singapore: Singapore University Press; Singapore; River Edge, NJ: World Scientific, c2003. -------------------- QA9.46 .M369 2003 Many-dimensional modal logics: theory and applications / D. M. Gabbay ... [et al.]. Amsterdam; Boston: Elsevier North Holland, 2003. Studies in logic and the foundations of mathematics; 148. -------------------- QA41 .H23 2003 Havil, Julian. Gamma: exploring Euler's constant. Princeton: Princeton University Press, c2003. -------------------- QA76.5 .C4166 2002 CG 2002 (2002: Edmonton, Alta.). Computers and games: third international conference, CG 2002, Edmonton, Canada, July 25-27, 2002: revised papers / Jonathan Schaeffer, Martin Muller, Yngvi Bjornsson (eds.). Berlin; New York: Springer, 2003. Lecture notes in computer science; 2883. -------------------- QA76.7 .A65 2003 APLAS 2003 (2003: Beijing, China). Programming languages and systems: first Asian Symposium, APLAS 2003, Beijing, China, November 2003: proceedings / Atsushi Ohori (ed.). Berlin; New York: Springer, 2003. Lecture notes in computer science; 2895. -------------------- QA76.758 .F67 2003 Formal methods at the crossroads: from panacea to foundational support: 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002: revised paper / Barnhard K. Aicherning, Tom Maibaum (eds.). New York: Springer-Verlag, 2003. Lecture notes in computer science; 2757. -------------------- QA76.76 .O63 S788 2001 Stutz, Michael. The Linux cookbook: tips and techniques for everyday use. San Francisco: Linux Journal Press; [Berkeley, Calif.: Distributed to the book trade in the U.S. by Publishers Group West], c2001. -------------------- QA76.9 .A25 I555 2003 International Conference on the Theory and Application of Cryptology and Information Security (9th: 2003: Taipei, Taiwan). Advances in cryptology-ASIACRYPT 2003: 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30-December 4, 2003: proceedings / Chi Sung Laih (ed.). New York: Springer-Verlag, 2003. Lecture notes in computer science; 2894. -------------------- QA76.9 .D3 B989 2000 Butz, Cory J. The relational database theory of Bayesian networks. Thesis (Ph.D.) - The University of Regina, 2000. -------------------- QA76.9 .D3 I5538 2002 International Conference on Cooperative Information Systems (2002: Catania, Italy). On the move to meaningful Internet systems 2003: CoopIS, DOA, and ODBASE: OTM confederated international conferences CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003: proceedings / Robert Meersman, Zahir Tari, Douglas C. Schmidt ... [et al.] (eds.). Berlin; New York: Springer-Verlag, 2003. Lecture notes in computer science; 2888 -------------------- QA76.9 .D3 O488 2003 On the move to meaningful Internet systems 2003: OTM 2003 workshops: OTM confederated international workshops: HCI-SWWA, IPW, JTRES, WORM, WMS, and WSRM 2003, Catania, Sicily, November 3-7, 2003: proceedings / Robert Meersman, Zahir Tari ... [et al.] (eds.). New York: Springer-Verlag, 2003. Lecture notes in computer science; 2889. -------------------- QA76.9 .D5 D578 2003 DAIS 2003 (2003: Paris, France). Distributed applications and interoperable systems: 4th IFIP WG 6.1 International Conference, DAIS, Paris, France November 17-21, 2003: proceedings / Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont (eds.). Berlin: London: Springer, c2003. Lecture notes in computer science; 2893. -------------------- QA76.9 .D5 I573 2003 International Conference on Formal Methods for Open Object- Based Distributed Systems (6th: 2003: Paris, France). Formal methods for open object-based distributed systems: 6th IFIP WG 6.0 international conference, FMOODS 2003, Paris, France, November 2003: proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.). Berlin; New York: Springer-Verlag, 2003. Lecture notes in computer science; 2884. -------------------- QA76.9 .F67 I5788 2003 International Conference on Formal Engineering Methods (5th: 2003: Singapore). Formal methods and software engineering: 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003: proceedings / Jin Song Dong, Jim Woodcock (eds.). Berlin; New York: Springer-Verlag, 2003. Lecture notes in computer science; 2885. -------------------- QA164 .P45 2003 Pemmaraju, Sriram V. Computational discrete mathematics: combinatorics and graph theory with Mathematica / Sriram Pemmaraju, Steven S. Skiena. Cambridge; New York: Cambridge University Press, 2003. -------------------- QA273.45 .P76 2004 Probability on discrete structures / Harry Kesten (editor). Berlin; New York: Springer, c2004. Encyclopaedia of mathematical sciences; 110. -------------------- QA273.6 .S55 2002 Simon, Marvin Kenneth. Probability distributions involving Gaussian random variables: a handbook for engineers and scientists. Boston: Kluwer Academic Publishers, 2002. The Kluwer international series in engineering and computer science; 683. -------------------- QA276.14 .U67 2002 Eckhart Reference Collection Upton, Graham J. G. A dictionary of statistics / Graham Upton and Ian Cook. Oxford; New York: Oxford University Press, 2002. -------------------- QA276.4 .H3562 2004 Hamilton, Lawrence C. Statistics with Stata: updated for version 8. Student ed. Belmont, CA: Brooks/Cole-Thomson Learning, c2004. -------------------- QA297 .S36713 2002 Schatzman, M. Numerical analysis: a mathematical introduction / Michelle Schatzman; translated by John Taylor. Oxford: Clarendon Press; New York: Oxford University Press, 2002. -------------------- QA371 .L35 2003 Lakshmikantham, V. Theory of fuzzy differential equations and inclusions. London; New York: Taylor & Francis, 2003. Series in mathematical analysis and applications; 6. -------------------- QA377 .L563 2004 Liseikin, V. D. A computational differential geometry approach to grid generation. Berlin; New York: Springer, c2004. Scientific computation. -------------------- QA380 .K54 2003 Kielhofer, Hansjorg. Bifurcation theory: an introduction with applications to PDEs. New York: Springer, c2003. Applied mathematical sciences; 156. -------------------- QA402.5 .L358 2003 Large-scale PDE-constrained optimization / Lorenz T. Biegler ... [et al.], editors. Berlin; New York: Springer, c2003. Lecture notes in computational science and engineering; 30. -------------------- QA564 .I58 1998 International Press Conference on Motives, Polylogarithms and Hodge Theory (1998: University of California, Irvine). International Press Conference on Motives, Polylogarithms and Hodge Theory: proceedings / Fedor Bogomolov, Ludmil Katzarkov (eds.). Somerville, MA: International Press, c2002- International Press lecture series; v. 3, pt. 1. -------------------- QA564 .T75 2003 A tribute to C.S. Seshadri: a collection of articles on geometry and representation theory / V. Lakshmibai ... [et al.], editors. Basel; Boston: Birkhauser Verlag, c2003. Trends in mathematics. -------------------- QA571 .B37 2004 Compact complex surfaces / Wolf P. Barth ... [et al.]. 2nd, enl. ed. Berlin; New York: Springer, c2004. Ergebnisse der Mathematik und ihrer Grenzgebiete; 3. Folge, v. 4. -------------------- QA614.8 .B75 2002 Brin, Michael. Introduction to dynamical systems / Michael Brin, Garrett Stuck. Cambridge, U.K; New York: Cambridge University Press, 2002. -------------------- QA614.8 .D9613 2003 Complex dynamics and geometry / Dominique Cerveau ... [et al.]; translated by Leslie Kay. Providence, R.I.: American Mathematical Society: Societe Mathematique de France, c2003. SMF/AMS texts and monographs; 10 Panoramas et syntheses; 8. -------------------- QA929 .Z49 2004 Zeytounian, R. Kh. Theory and applications of viscous fluid flows. Berlin; New York: Springer, c2004.