Collections

New Books Received in February 2004

AUTHOR: ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (9th : 2003: San Diego, Calif.)
TITLE: Proceedings of the 2003 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '03, San Diego, California, USA, June 11-13, 2003 / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN).
IMPRINT: New York, N.Y. : ACM, c2003.
CALL: QA76.642 .A27 2003

AUTHOR: ACNS 2003 (1st : 2003 : Kunming Shi, China)
TITLE: Applied cryptography and network security : First International Conference, ACNS 2003, Kunming, China, October 16-19, 2003 : proceedings / Jianying Zhou, Moti Yung, Yongfei Han, (eds.).
IMPRINT: Berlin ; New York : Springer-Verlag, c2003.
CALL: TK5102.94 .A28 2003

AUTHOR: ADHOC-NOW 2003 (2003 : Montréal, Québec)
TITLE: Ad-hoc, mobile, and wireless networks : Second International Conference, ADHOC-NOW 2003, Montreal, Canada, October 8-10, 2003 : proceedings / Samuel Pieere, Michel Barbeau, Evangelos Kranakis, eds.
IMPRINT: Berlin ; New York : Springer-Verlag, c2003.
CALL: TK6570 .M6 A34 2003

AUTHOR: Afifi, A. A. (Abdelmonem A.), 1939-
TITLE: Computer-aided multivariate analysis / Abdelmonem Afifi, Virginia A. Clark, and Susanne May.
IMPRINT: Boca Raton, Fla. : Chapman & Hall/CRC, c2004.
CALL: QA278 .A33 2004

AUTHOR: ALT 2003 (2003 : Sapporo-shi, Japan)
TITLE: Algorithmic learning theory : 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings / Ricard Gavaldà, Klaus P. Jantke, Eiji Takimoto (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.9 .A43 A48 2003

AUTHOR: Altman, Eitan.
TITLE: Discrete-event control of stochastic networks : multimodularity and regularity / Eitan Altman, Bruno Gaujal, Arie Hordijk.
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA3 .L28 V.1829

AUTHOR: APLAS 2003 (2003 : Beijing, China)
TITLE: Programming languages and systems : first Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings / Atsushi Ohori (ed.)
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.7 .A65 2003

AUTHOR: Asia-Pacific Software Engineering Conference.
TITLE: Proceedings / Asia Pacific Software Engineering Conference.
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society Press,
CALL: QA76.758 .A77 10TH 2003

AUTHOR: Baaz, Matthias.
TITLE: Computer science logic : 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings / Matthias Baaz, Johann A. Makowsky (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA75.5 .W624 2003

AUTHOR: Buck, Caitlin E.
TITLE: Tools for constructing chronologies : crossing disciplinary boundaries / Caitlin E. Buck, Andrew R. Millard (editors).
IMPRINT: London ; New York : Springer, c2004.
CALL: CE12 .T66 2004

AUTHOR: CG 2002 (2002 : Edmonton, Alta.)
TITLE: Computers and games : third international conference, CG 2002, Edmonton, Canada, July 25-27, 2002 : revised papers / Jonathan Schaeffer, Martin Müller, Yngvi Björnsson (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.5 .C4166 2002

AUTHOR: CHARME 2003 (2001 : L'Aquila, Italy)
TITLE: Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings / Daniel Geist, Enrico Tronci, (Eds.).
IMPRINT: Berlin ; New York : Springer-Verlag, c2003.
CALL: TK7874.75 .C453 2003

AUTHOR: Chaumont, Loïc.
TITLE: Exercises in probability : a guided tour from measure theory to random processes, via conditioning / L. Chaumont, M. Yor.
IMPRINT: Cambridge ; New York : Cambridge University Press, 2003.
CALL: QA273.25 .C43 2003

AUTHOR: Chow, Shui-Nee.
TITLE: Dynamical systems : lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 19-26, 2000 / S.-N. Chow ... [et al.] ; editors, J.W. Macki, P. Zecca.
IMPRINT: Berlin ; New York : Springer-Verlag, 2003.
CALL: QA3 .L28 V.1822

AUTHOR: C.I.M.E. Course on "Multiscale Problems and Methods in Numerical Simulation" (2001 : Martina Franca, Italy)
TITLE: Multiscale problems and methods in numerical simulations : lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 9-15, 2001 / J.H. Bramble, A. Cohen, W. Dahmen ; editor C. Canuto.
IMPRINT: Berlin ; New York : Springer-Verlag, 2003.
CALL: QA3 .L28 V.1825

AUTHOR: COCOS 2002 (2002 : Valbonne-Sophia Antipolis, France)
TITLE: Global optimization and constraint satisfaction : first international workshop on global constraint optimization and constraint satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002 : revised selected papers / Christian Bliek, Christophe Jermann, Arnold Neumaier (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.612 .C62 2002

AUTHOR: COST 263 International Workshop (4th : 2003 : Stockholm, Sweden)
TITLE: Quality for all : 4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003, Stockholm, Sweden, October 1-2, 2003 : proceedings / Gunnar Karlsson, Michael I. Smirnov (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: TK5105.875 .I57 Q36 2003

AUTHOR: CP 2003 (2003 : Kinsale, Ireland)
TITLE: Principles and practice of constraint programming-CP 2003 : 9th International Conference - CP 2003, Kinsale, Ireland, September 29-October 3, 2003 : proceedings / Francesca Rossi (ed.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.612 .C7 2003

AUTHOR: Conference on Artificial Intelligence in Medicine in Europe (9th : 2003 : Protaras, Cyprus)
TITLE: Artificial intelligence in medicine : 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 2003 proceedings / Michel Dojat, Elpida Keravnou, Pedro Barahona (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: R859.7 .A78 C66 2003

AUTHOR: Conference on Geometry and Topology (8th : 2002 : Cambridge, Mass.)
TITLE: Surveys in differential geometry : lectures on geometry and topology held in honor of Calabi, Lawson, Siu, and Uhlenbeck at Harvard University, May 3-5, 2002 / edited by S.-T. Yau.
IMPRINT: Somerville, Mass. : International Press, c2003.
CALL: QA641 .S87 2003

AUTHOR: Darmon, Henri, 1965-
TITLE: Rational points on modular elliptic curves / Henri Darmon.
IMPRINT: Providence, R.I. : American Mathematical Society, c2004.
CALL: QA1 .R33 NO.101

AUTHOR: Datta, Gauri Sankar.
TITLE: Probability matching priors : higher order asymptotics / Gauri Sankar Datta, Rahul Mukerjee.
IMPRINT: New York : Springer-Verlag, c2004.
CALL: QA276 .D32555 2004

AUTHOR: DGCI 2003 (2003 : Naples, Italy)
TITLE: Discrete geometry for computer imagery : 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003 : proceedings / Ingela Nyström, Gabriella Sanniti di Baja, Stina Svensson (eds.).
IMPRINT: Berlin ; New York : Springer, c 2003.
CALL: T385 .D525 2003

AUTHOR: EUSAI 2003 (2003 : Veldhoven, Netherlands)
TITLE: Ambient intelligence : first European symposium, EUSAI 2003, Veldhoven, The Netherlands, November 3-4, 2003 : proceedings / Emile Aarts ... [et al.], (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.5915 .E97 2003

AUTHOR: FMCO 2002 (2002 : Leiden, Netherlands)
TITLE: Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures / Frank S. de Boer ... [et al.] (eds.)
IMPRINT: Berlin ; New York : Springer-Verlag, c2003.
CALL: QA76.9 .F67 F53 2002

AUTHOR: Fraleigh, John B.
TITLE: A first course in abstract algebra / John B. Fraleigh ; historical notes by Victor Katz.
IMPRINT: Boston : Addison-Wesley, 2003.
CALL: QA162 .F7 2002

AUTHOR: FSE 2003 (2003 : Lund, Sweden)
TITLE: Fast software encryption : 10th international workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : revised papers / Thomas Johansson (ed.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.6 .A25 F37 2003

AUTHOR: Gee, James C., 1954-
TITLE: Biomedical image registration : second international workshop, WBIR 2003, Philadelphia, PA, USA, June 23-24, 2003 : revised papers / James C. Gee, J.B. Antoine Maintz, Michael W. Vannier (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: R857 .O6 B563 2003

AUTHOR: Ghosh, Sumit, 1958-
TITLE: Algorithm design for networked information technology systems / Sumit Ghosh ; with a foreword by C.V. Ramamoorthy.
IMPRINT: New York : Springer, c2004.
CALL: QA76.9 .A43 G46 2004

AUTHOR: IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems (4th : 2003 : Paris, France)
TITLE: Distributed applications and interoperable systems : IFIP WG6.1 4th International Conference on DAIS, Paris France November 17-21, 2003 / Jean-Bernard Stefani, Isabelle Demeure, Daniel Hagimont, (Eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: TK5105.5 .I34255 2003

AUTHOR: International Conference on Cooperative Information Systems (2003 : Catania, Italy)
TITLE: 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.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.9 .D3 I5538 2003

AUTHOR: International Conference on Discovery Science (6th : 2003 : Sapporo-shi, Japan)
TITLE: Discovery science : 6th international conference, DS 2003 Sapporo, Japan, October 17-19, 2003 : proceedings / Gunter Grieser, Yuzuru Tanaka, Akihiro Yamamoto (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: Q174 .D57 2003

AUTHOR: International Conference on Formal Engineering Methods (4th : 2002 : Shanghai, China)
TITLE: Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George, Huaikou Miao (eds.).
IMPRINT: New York : Springer, c2002.
CALL: QA76.9 .F67 I5788 2002

AUTHOR: International Conference on Formal Methods for Open Object-Based Distributed Systems (6th : 2003 : Paris, France)
TITLE: Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.9 .D5 I573 2003

AUTHOR: International Conference on Human-Computer Interaction (10th : 2003 : Crete, Greece)
TITLE: Human-computer interaction : theory and practice / edited by Julie Jacko, Constantine Stephanidis.
IMPRINT: Mahwah, N.J. : Lawrence Erlbaum Associates, 2003.
CALL: QA76.9 .H85 I5968 2003 V.1

AUTHOR: International Conference on Human-Computer Interaction (10th : 2003 : Crete, Greece)
TITLE: Human-computer interaction : theory and practice / edited by Julie Jacko, Constantine Stephanidis.
IMPRINT: Mahwah, N.J. : Lawrence Erlbaum Associates, 2003.
CALL: QA76.9 .H85 I5968 2003 V.2

AUTHOR: International Conference on Human-Computer Interaction (10th : 2003 : Crete, Greece)
TITLE: Human-centred computing : cognitive, social and ergonomic aspects
IMPRINT: Mahwah, N.J. : Lawrence Erlbaum Associates, 2003.
CALL: QA76.9 .H85 I5968 2003 V.3

AUTHOR: International Conference on Virtual Storytelling (2nd : 2003 : Toulouse, France)
TITLE: Virtual storytelling : using virtual reality techniques for storytelling : second International Conference, ICVS 2003, Toulouse, France, November 20-21, 2003 : proceedings / Olivier Balet, Gérard Subsol, Patrice Torguet (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: TA1634 .I562 2003

AUTHOR: International Symposium on Methodologies for Intelligent Systems (14th : 2003 : Maebashi-shi, Japan)
TITLE: Foundations of intelligent systems : 14th international symposium, Maebashi City, Japan, October 28-31, 2003 : proceedings / Ning Zhong ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, 2003.
CALL: QA76.76 .E95 I582 2003

AUTHOR: International Workshop on Groupware (9th : 2003 : Autrans, France)
TITLE: Groupware : design, implementation, and use : 9th international workshop, CRIWG 2003, Autrans, France, September 28-October 2, 2003 : proceedings / Jesus Favela, Dominique Decouchant (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: HD66.2 .I58 2003

AUTHOR: International Workshop on Multimedia Interactive Protocols and Systems (1st : 2003 : Naples, Italy)
TITLE: Interactive multimedia on next generation networks : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 2003: proceedings / Giorgio Ventre, Roberto Canonico (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: TK5105.15 .I6 2003

AUTHOR: International Workshop on Network and Operating Systems Support for Digital Audio andVideo (12th : 2002 : Miami, Fla.)
TITLE: Proceedings of the 12th International Workshop on Network and Operating Systems Support for Digital Audio and Video : NOSSDAV 2002, May 12-14, 2002, Miami, Florida, USA / sponsored by the ACM Special Interest Group on Multimedia ; techniCALLy cosponsored by the IEEE Communications Society with corporate support from Microsoft Research.
IMPRINT: New York, NY : Association for Computing Machinery, c2002.
CALL: TK7881.4 .N68 2002

AUTHOR: International Workshop on Research Issues in Data Engineering.
TITLE: International Workshop on Research Issues in Data Engineering : proceedings /sponsored by IEEE Computer Society Technical Committee on Data Engineering.
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society Press,
CALL: QA76.9 .D3 I582 13TH 2003

AUTHOR: International Workshop WG (29th : 2003 : Elspeet, Netherlands)
TITLE: Graph-theoretic concepts in computer science : 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003 : revised papers / Hans L. Bodlaender (ed.)
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA75.5 .I58 2003

AUTHOR: ISWC 2003 (2003 : Sanibel, Fla.)
TITLE: The Semantic Web, ISWC 2003 : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003 : proceedings / Dieter Fensel, Katia Sycara, John Mylopoulos, eds.
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: TK5105.88815 .I89 2003

AUTHOR: JSSPP 2003 (2003 : Seattle, Wash.)
TITLE: Job scheduling strategies for parallel processing : 9th international workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003 : revised papers / Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn (eds.)
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.58 .J757 2003

AUTHOR: Kaplan, Robert, 1933-
TITLE: The art of the infinite : the pleasures of mathematics / Robert Kaplan and Ellen Kaplan ; illustrations by Ellen Kaplan.
IMPRINT: Oxford ; New York : Oxford University Press, 2003.
CALL: QA295 .K36 2003

AUTHOR: Katok, A. B.
TITLE: Combinatorial constructions in ergodic theory and dynamics / Anatole Katok.
IMPRINT: Providence, R.I. : American Mathematical Society, c2003.
CALL: QA611.5 .K38 2003

AUTHOR: KDD Workshop MDM 2002 (2002 : Edmonton, Alta.)
TITLE: Mining multimedia and complex data : KDD Workshop MDM/KDD 2002, PAKDD Workshop KDMCD 2002 : revised papers / Osmar R. Zaïane, Simeon J. Simoff, Chabane Djeraba (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.9 .D3 K3588 2002

AUTHOR: Kielhöfer, Hansjörg.
TITLE: Bifurcation theory : an introduction with applications to PDEs / Hansjörg Kielhöfer.
IMPRINT: New York : Springer, c2004.
CALL: QA380 .K54 2004

AUTHOR: Körner, T. W. (Thomas William), 1946-
TITLE: A companion to analysis : a second first and first second course in analysis / T.W. Körner.
IMPRINT: Providence, R.I. : American Mathematical Society, c2004.
CALL: QA300 .K589 2004

AUTHOR: Lancaster, Deac.
TITLE: Transact-SQL desk reference / Deac Lancaster.
IMPRINT: Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, c2004.
CALL: QA76.9 .D3 L348 2004

AUTHOR: Lawry, Jonathan, 1968-
TITLE: Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework / Jonathan Lawry, Jimi Shanahan, Anca Ralescu (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: P98 .M63 2003

AUTHOR: Leonard, Timothy E. (Timothy Edwin), 1954-
TITLE: VAX architecture reference manual / edited by Timothy E. Leonard ; contributing authors, Dileep P. Bhandarkar ... [et al.].
IMPRINT: [Bedford, Mass.] : DECbooks, c1987.
CALL: QA76.8 .V37 V38 1987

AUTHOR: Lloyd, J. W. (John Wylie), 1947-
TITLE: Logic for learning : learning comprehensible theories from structured data / J.W. Lloyd.
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.9 .L63 L56 2003

AUTHOR: Mehlhorn, Kurt, 1949-
TITLE: Leda : a platform for combinatorial and geometric computing / Kurt Mehlhorn, Stefan Näher.
IMPRINT: New York : Cambridge University Press, 1999.
CALL: QA76.73 .C153 M44 1999

AUTHOR: Meersman, R.
TITLE: 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.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.9 .D3 O488 2003

AUTHOR: Murthy, D. N. P.
TITLE: Weibull models / D.N. Prabhakar Murthy, Min Xie, Renyan Jiang.
IMPRINT: Hoboken, N.J. : J. Wiley, c2004.
CALL: QA273.6 .M87 2004

AUTHOR: Pacific Rim International Workshop on Multi-Agents (6th : 2003 : Seoul, Korea)
TITLE: Intelligent agents and multi-agent systems : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003 : proceedings / Jaeholee, Mike Barley (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.76 .I58 P75 2003

AUTHOR: Pemmaraju, Sriram V., 1966-
TITLE: Computational discrete mathematics : combinatorics and graph theory with Mathematica / Sriram Pemmaraju, Steven S. Skiena.
IMPRINT: Cambridge ; New York : Cambridge University Press, 2003.
CALL: QA164 .P45 2003

AUTHOR: Pol´i`anin, A. D. (Andrei Dmitrievich)
TITLE: Handbook of nonlinear partial differential equations / Andrei D. Polyanin, Valentin F. Zaitsev.
IMPRINT: Boca Raton [Fla.] : Chapman & Hall/CRC, c2004.
CALL: QA372 .P726 2004

AUTHOR: Ray, Erik T.
TITLE: Learning XML.
IMPRINT: Sebastopol, CA : O'Reilly, c2003.
CALL: QA76.76 .H94 R3945 2003

AUTHOR: Roe, John, 1959-
TITLE: Lectures on coarse geometry / John Roe.
IMPRINT: Providence, R.I. : American Mathematical Society, c2003.
CALL: QA611.28 .R64 2003

AUTHOR: RuleML 2003 (2003 : Sanibel, Fla.)
TITLE: Rules and rule markup languages for the Semantic Web : Second International Workshop, RuleML 2003 proceedings / Michael Schroeder, Gerd Wagner, eds.
IMPRINT: Berlin ; New York : Springer-Verlag, c2003.
CALL: QA76.76 .H94 R88 2003

AUTHOR: Severini, Thomas A. (Thomas Alan), 1959-
TITLE: Likelihood methods in statistics / Thomas A. Severini.
IMPRINT: Oxford ; New York : Oxford University Press, 2000.
CALL: QA276.8 .S38 2000

AUTHOR: Smirnov, Mikhail I.
TITLE: Quality of future Internet services : COST Action 263 final report / Michael Smirnov ... [et al.]
IMPRINT: Berlin ; New York : Springer-Verlag, c2003.
CALL: TK5105.875 .I57 Q34 2003

New Books List Archive