New Books for 05/11/2001

TITLE:Proceedings of the 2000 ACM SIGCPR conference, April 6-8, 2000, Chicago, Illinois, USA
PUBLISHER:New York : Association for Computing Machinery, c2000.
CALL NUMBER:HD 8039 .D372 U624 2000 CIMM
 
 
TITLE:Mathematics unlimited : 2001 and beyond / Björn Engquist, Wilfried Schmid, editors.
PUBLISHER:Berlin ; New York : Springer, c2001.
CALL NUMBER:QA 7 .M32423 2001 CIMM
 
 
AUTHOR:Enderton, Herbert B.
TITLE:A mathematical introduction to logic / Herbert B. Enderton.
EDITION:2nd ed.
PUBLISHER:San Diego, Calif. : Harcourt/Academic Press, c2001.
CALL NUMBER:QA 9 .E54 2001 CIMM
 
 
AUTHOR:Rothmaler, Philipp.
TITLE:Introduction to model theory / Philipp Rothmaler ; translated by Karsten Guhl.
PUBLISHER:Amsterdam : Gordon & Breach ; c2000.
SERIES:Algebra, logic, and applications ; v. 15
CALL NUMBER:QA 9.7 .R675 2000 CIMM
 
 
TITLE:Graphics recognition : recent advances : third international workshop, GREC'99, Jaipur, India, September 26-27, 1999 : selected papers / Atul K. Chhabra, Dov Dori (eds.).
PUBLISHER:Berlin ; New York : Springer, c2000.
SERIES:Lecture notes in computer science, 1941
CALL NUMBER:QA 75.5 .L43 no. 1941 CIMM
 
 
TITLE:Cryptographic hardware and embedded systems--CHES 2000 : second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings / Cetin K. Koc, Christof Paar (eds.).
PUBLISHER:Berlin ; New York : Springer, c2000.
SERIES:Lecture notes in computer science, 1965
CALL NUMBER:QA 75.5 .L43 no. 1965 CIMM
 
 
AUTHOR:Gabbay, Dov M., 1945-
TITLE:Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.
PUBLISHER:Oxford : Clarendon Press ; New York : Oxford University Press, 1994-
SERIES:Oxford logic guides ; 28
SERIES:Oxford science publications
CALL NUMBER:QA 76.6 .G27 CIMM
 
 
AUTHOR:Austin, Calvin.
TITLE:Advanced programming for the Java 2 platform / Calvin Austin, Monica Pawlan.
PUBLISHER:Boston : Addison-Wesley, c2000.
CALL NUMBER:QA 76.76 .A65 A95 2000 CIMM
 
 
AUTHOR:Leventhal, Michael.
TITLE:Designing XML Internet applications / Michael Leventhal, David Lewis, Matthew Fuchs.
PUBLISHER:Upper Saddle River, NJ : Prentice Hall PTR, c1998.
SERIES:The Charles F. Goldfarb series on open information management
CALL NUMBER:QA 76.76 .H94 L46 1998 CIMM
 
 
TITLE:Proceedings of the fourteenth systems administration conference : (LISA XIV) : 3-8 December 2000, New Orleans, LA / USENIX Association.
PUBLISHER:Berkeley, Calif. : USENIX Association, c2000.
CALL NUMBER:QA 76.8 .U87 2000 CIMM
 
 
AUTHOR:Ryan, Peter, PhD.
TITLE:The modelling and analysis of security protocols : the CSP approach / P.Y.A. Ryan and S.A. Schneider with M.H. Goldsmith, G. Lowe and A.W. Roscoe.
PUBLISHER:Harlow ; New York : Addison-Wesley, 2001.
CALL NUMBER:QA 76.9 .A25 R93 2001 CIMM
 
 
AUTHOR:Momjian, Bruce.
TITLE:PostgreSQL : introduction and concepts / Bruce Momjian.
PUBLISHER:Boston, MA : Addison-Wesley, 2001.
CALL NUMBER:QA 76.9 .D3 M647 2001 CIMM
 
 
TITLE:DOLAP 2000 : ACM Third International Workshop on Data Warehousing and OLAP, in conjunction with the Ninth International Conference on Information and Knowledge Management (CIKM 2000) : November 10, 2000, McLean, VA / editors: Rokia Missaoui and Il-Yeol Song ; sponsored by the Association for Computing Machinery, Special Interest Groups on Information Retrieval and Management Information Systems.
PUBLISHER:New York, N.Y. : Association for Computing Machinery, 2000.
CALL NUMBER:QA 76.9 .D37 A26 2000 CIMM
 
 
TITLE:CUU 2000 conference proceedings / John Thomas, Jean Scholtz.
PUBLISHER:New York : Association for Computing Machinery, c2000.
CALL NUMBER:QA 76.9 .H85 C65 2000 CIMM
 
 
AUTHOR:Grattan-Guinness, I.
TITLE:The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel / I. Grattan-Guinness.
PUBLISHER:Princeton : Princeton University Press, c2000.
CALL NUMBER:QA 248 .G684 2000 CIMM
 
 
AUTHOR:Hardy, Godfrey Harold, 1877-1947.
TITLE:Inequalities,
EDITION:[2d ed.]
PUBLISHER:Cambridge [Eng.] University Press, 1952.
CALL NUMBER:QA 303 .H25 1952 CIMM
 
 
AUTHOR:Waldspurger, Jean-Loup, 1953-
TITLE:Intégrales orbitales nilpotentes et endoscopie pour les groupes classiques non ramifiés / Jean-Loup Waldspurger.
PUBLISHER:Paris : Société mathématique de France, 2001.
CALL NUMBER:QA 308 .W35 2001 CIMM
 
 
AUTHOR:Christofides, Panagiotis D.
TITLE:Nonlinear and robust control of PDE systems : methods and applications to transport-reaction processes / Panagiotis D. Christofides.
PUBLISHER:Boston : Birkhäuser, c2001.
SERIES:Systems & control
CALL NUMBER:QA 402.35 .C48 2001 CIMM
 
 
AUTHOR:Nikolaev, Igor, 1961-
TITLE:Foliations on surfaces / Igor Nikolaev.
PUBLISHER:Berlin ; New York : Springer, [2000], c2001.
SERIES:Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, v. 41
CALL NUMBER:QA 613.62 .N54 2001 CIMM
 
 
TITLE:Surveys in differential geometry : essays on Einstein manifolds / edited by Claude LeBrun, McKenzie Wang.
PUBLISHER:Cambridge, MA : International Press, c1999.
SERIES:Surveys in differential geometry ; v. 6
SERIES:A supplement to the Journal of differential geometry
CALL NUMBER:QA 641 .C6171 1999 CIMM
 
 
TITLE:Hard ball systems and the Lorentz gas / L.A. Bunimovich... [et al.] ; edited by D. Szász.
PUBLISHER:Berlin ; New York : Springer, c2000.
SERIES:Encyclopaedia of mathematical sciences, v. 101. Mathematical physics II
CALL NUMBER:QC 20.7 .H35 H376 2000 CIMM
 
 
AUTHOR:Cerf, Raphaël.
TITLE:Large deviations for three dimensional supercriticial percolation / Raphaël Cerf.
PUBLISHER:Paris : Société Mathématique de France, 2000.
SERIES:Astérisque ; 267
CALL NUMBER:QC 174.85 .P45 C47 2000 CIMM
 
 
TITLE:Calculation of complex turbulent flows / edited by G. Tzabiras.
PUBLISHER:Southampton : WIT, c2000.
SERIES:International series on advances in fluid mechanics, 27
CALL NUMBER:TA 357.5 .T87 C35 2000 CIMM