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 |
| |
| |