| AUTHOR: | Marcus, Brian, 1949- |
| TITLE: | Resolving Markov chains onto Bernoulli shifts via positive polynomials / Brian Marcus, Selim Tuncel. |
| PUBLISHER: | Providence, RI : American Mathematical Society, 2001. |
| SERIES: | Memoirs of the American Mathematical Society, no. 710. |
| CALL NUMBER: | QA 3 .A57 no. 710 CIMM |
| |
| AUTHOR: | Kac, Victor G., 1943- |
| TITLE: | Graded simple Jordan superalgebras of growth one / V.G. Kac, C. Martinez, E. Zelmanov. |
| PUBLISHER: | Providence, RI : American Mathematical Society, 2001. |
| SERIES: | Memoirs of the American Mathematical Society, #711 |
| CALL NUMBER: | QA 3 .A57 no. 711 CIMM |
| |
| AUTHOR: | Curto, Raúl E., 1954- |
| TITLE: | Joint hyponormality of Toeplitz pairs / Raúl E. Curto, Woo Young Lee. |
| PUBLISHER: | Providence, RI : American Mathematical Society, 2001. |
| SERIES: | Memoirs of the American Mathematical Society, no. 712 |
| CALL NUMBER: | QA 3 .A57 no. 712 CIMM |
| |
| AUTHOR: | Mitrea, Dorina (Dorina Irena Rita), 1965- |
| TITLE: | Layer potentials, the Hodge Laplacian, and global boundary problems in nonsmooth Reimannian manifolds / Dorina Mitrea, Marius Mitrea, Michael Taylor. |
| PUBLISHER: | Providence, RI : American Mathematical Society, 2001. |
| SERIES: | Memoirs of the American Mathematical Society, no. 713 |
| CALL NUMBER: | QA 3 .A57 no. 713 CIMM |
| |
| TITLE: | Canonical Sobolev projections of weak type (1,1) / Earl Berkson ... [et al.]. |
| PUBLISHER: | Providence, RI : American Mathematical Society, 2001. |
| SERIES: | Memoirs of the American Mathematical Society, no. 714 |
| CALL NUMBER: | QA 3 .A57 no. 714 CIMM |
| |
| AUTHOR: | Habermann, Lutz, 1959- |
| TITLE: | Riemannian metrics of constant mass and moduli spaces of conformal structures / Lutz Habermann. |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in mathematics, 1743 |
| CALL NUMBER: | QA 3 .L28 no. 1743 CIMM |
| |
| AUTHOR: | Kunze, Markus, 1967- |
| TITLE: | Non-smooth dynamical systems / Markus Kunze. |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in mathematics ; 1744 |
| CALL NUMBER: | QA 3 .L28 no. 1744 CIMM |
| |
| TITLE: | Geometric aspects of functional analysis : Israel seminar (GAFA) 1996-2000 / V.D. Milman, G. Schechtman (eds.) |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in mathematics, 1745. |
| CALL NUMBER: | QA 3 .L28 no. 1745 CIMM |
| |
| TITLE: | Mathematical conversations : selections from The mathematical intelligencer / compiled by Robin Wilson, Jeremy Gray. |
| PUBLISHER: | New York : Springer, c2001. |
| CALL NUMBER: | QA 7 .M3235 2001 CIMM |
| |
| AUTHOR: | Mints, G. E. |
| TITLE: | A short introduction to intuitionistic logic / Grigori Mints. |
| PUBLISHER: | New York : Kluwer Academic / Plenum Publishers, 2000. |
| SERIES: | University series in mathematics |
| CALL NUMBER: | QA 9.47 .M56 2000 CIMM |
| |
| AUTHOR: | Baumann, Joachim, 1965- |
| TITLE: | Mobile agents : control algorithms / Jaochim Baumann. |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1658 |
| CALL NUMBER: | QA 75.5 .L43 no. 1658 CIMM |
| |
| TITLE: | Generative and component-based software engineering : first international symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999 : revised papers / Krzysztof Czarnecki, Ulrich W, Eisenecker [eds.]. |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1799 |
| CALL NUMBER: | QA 75.5 .L43 no. 1799 CIMM |
| |
| TITLE: | Advances in information systems : first international conference, ADVIS 2000, Izmir, Turkey, October 25-27, 2000 : proceedings / Tatyana Yakhno (ed.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1909 |
| CALL NUMBER: | QA 75.5 .L43 no. 1909 CIMM |
| |
| TITLE: | Job scheduling strategies for parallel processing : IPDPS 2000 workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 : proceedings / Dror G. Feitelson, Larry Rudolph (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1911 |
| CALL NUMBER: | QA 75.5 .L43 no. 1911 CIMM |
| |
| TITLE: | Languages, compilers, and run-time systems for scalable computers : 5th international workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers / Sandhya Dwarkadas (ed.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1915 |
| CALL NUMBER: | QA 75.5 .L43 no. 1915 CIMM |
| |
| TITLE: | Handheld and ubiquitous computing : second international symposium, HUC 2000, Bristol, UK, September 25-27, 2000 : proceedings / Peter Thomas, Hans-W. Gellersen (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1927 |
| CALL NUMBER: | QA 75.5 .L43 no. 1927 CIMM |
| |
| TITLE: | Graph-theoretic concepts in computer science : 26th International Workshop, WG 2000, Konstanz, Germany, June 15-17, 2000 : proceedings / Ulrik Brandes, Dorothea Wagner (eds.) |
| PUBLISHER: | Berlin ; New York : Springer, 2000. |
| SERIES: | Lecture notes in computer science ; 1928 |
| CALL NUMBER: | QA 75.5 .L43 no. 1928 CIMM |
| |
| TITLE: | Advances in visual information systems : 4th international conference, VISUAL 2000, Lyon, France, November 2-4, 2000 : proceedings / Robert Laurini (ed.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1929 |
| CALL NUMBER: | QA 75.5 .L43 no. 1929 CIMM |
| |
| TITLE: | Foundations of intelligent systems : 12th international symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000 : proceedings / Zbigniew W. Ras, Setsuo Ohsuga (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science ; 1932. Lecture notes in artificial intelligence |
| CALL NUMBER: | QA 75.5 .L43 no. 1932 CIMM |
| |
| TITLE: | Next generation networks : networks and services for the Information Society : 5th IFIP TC6 international symposium, Bergen, Norway, October 3-6, 2000 : proceedings / Sathya Rao, Kaare Ingar Sletta (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1938 |
| CALL NUMBER: | QA 75.5 .L43 no. 1938 CIMM |
| |
| TITLE: | High performance computing : third international symposium, ISHPC 2000, Tokyo, Japan, October 16-18, 2000 : proceedings / Mateo Valero ... [et al.] (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science ; 1940 |
| CALL NUMBER: | QA 75.5 .L43 no. 1940 CIMM |
| |
| TITLE: | Active networks : second international working conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000 : proceedings / Hiroshi Yasusa (ed.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1942 |
| CALL NUMBER: | QA 75.5 .L43 no. 1942 CIMM |
| |
| TITLE: | Computer safety, reliability and security : 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings / Floor Koornneef, Meine van der Meulen (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1943 |
| CALL NUMBER: | QA 75.5 .L43 no. 1943 CIMM |
| |
| TITLE: | Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1945 |
| CALL NUMBER: | QA 75.5 .L43 no. 1945 CIMM |
| |
| TITLE: | Advances in multimodal interfaces -- ICMI 2000 : third international conference, Beijing, China, October 14-16, 2000 : proceedings / Tieniu Tan, Yuanchun Shi, Wen Gao (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1948 |
| CALL NUMBER: | QA 75.5 .L43 no. 1948 CIMM |
| |
| TITLE: | Advances in artificial intelligence : international joint conference, 7th Ibero-American Conference on AI and 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000 : proceedings / Maria Carolina Monard, Jaime Simão Sichman (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science ; 1952. Lecture notes in artificial intelligence |
| CALL NUMBER: | QA 75.5 .L43 no. 1952 CIMM |
| |
| TITLE: | Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| SERIES: | Lecture notes in computer science, 1954 |
| CALL NUMBER: | QA 75.5 .L43 no. 1954 CIMM |
| |
| TITLE: | Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.). |
| PUBLISHER: | Berlin ; New York : Springer, 2000. |
| SERIES: | Lecture notes in computer science ; 1955. Lecture notes in artificial intelligence |
| CALL NUMBER: | QA 75.5 .L43 no. 1955 CIMM |
| |
| AUTHOR: | Leupers, Rainer. |
| TITLE: | Code optimization techniques for embedded processors : methods, algorithms, and tools / by Rainer Leupers. |
| PUBLISHER: | Boston ; London : Kluwer Academic Publishers, c2000. |
| CALL NUMBER: | QA 76.6 .L467 2000 CIMM |
| |
| TITLE: | The school of Niklaus Wirth : the art of simplicity / László Böszörményi, Jürg Gutknecht, Gustav Pomberger (eds.) |
| PUBLISHER: | Heidelberg, Germany : dpunkt.verlag ; San Francisco, CA : Morgan Kaufmann, c2000. |
| CALL NUMBER: | QA 76.756 .S36 2000 CIMM |
| |
| AUTHOR: | Armour, Frank. |
| TITLE: | Advanced use case modeling : software systems / Frank Armour, Granville Miller. |
| PUBLISHER: | Boston ; London : Addison-Wesley, c2001. |
| SERIES: | The Addison-Wesley object technology series |
| CALL NUMBER: | QA 76.76 .D47 A74 2001 CIMM |
| |
| AUTHOR: | Brinch Hansen, Per, 1938- |
| TITLE: | Classic operating systems : from batch processing to distributed systems / Per Brinch Hansen. |
| PUBLISHER: | New York : Springer, 2000. |
| CALL NUMBER: | QA 76.76 .O63 B7425 2000 CIMM |
| |
| AUTHOR: | Waldo, Jim. |
| TITLE: | The Jini specifications / Jim Waldo ; [edited by Ken Arnold]. |
| EDITION: | 2nd ed. |
| PUBLISHER: | Boston ; London : Addison-Wesley, c2001. |
| SERIES: | The Jini technology series |
| CALL NUMBER: | QA 76.9 .D5 J56 2001 CIMM |
| |
| AUTHOR: | Newmarch, Jan. |
| TITLE: | A programmer's guide to Jini technology / Jan Newmarch. |
| PUBLISHER: | Berkeley, CA : Apress ; New York : distributed to the book trade in the United States by Springer-Verlag, c2000. |
| SERIES: | Books for professionals by professionals |
| CALL NUMBER: | QA 76.9 .D5 N48 2000 CIMM |
| |
| TITLE: | People and computers XIV : usability or else! : proceedings of HCI 2000 / Sharon McDonald, Yvonne Waern and Gilbert Cockton (eds.). |
| PUBLISHER: | London ; New York : Springer, c2000. |
| SERIES: | BCS conference series |
| CALL NUMBER: | QA 76.9 .H85 H455 2000 CIMM |
| |
| AUTHOR: | Shapiro, Daniel B., 1948- |
| TITLE: | Compositions of quadratic forms / by Daniel B. Shapiro. |
| PUBLISHER: | Berlin ; New York : Walter de Gruyter, 2000. |
| SERIES: | De Gruyter expositions in mathematics, 33 |
| CALL NUMBER: | QA 243 .S48 2000 CIMM |
| |
| AUTHOR: | Chaitin, Gregory J. |
| TITLE: | Exploring randomness / Gregory J. Chaitin. |
| PUBLISHER: | London : Springer, c2001. |
| SERIES: | Discrete mathematics and theoretical computer science |
| CALL NUMBER: | QA 267 .C485 2001 CIMM |
| |
| TITLE: | A course in time series analysis / edited by Daniel Peña, George C. Tiao, Ruey S. Tsay. |
| PUBLISHER: | New York : Wiley, c2001. |
| SERIES: | Wiley series in probability and statistics. Probability and statistics section |
| CALL NUMBER: | QA 280 .C66 2001 CIMM |
| |
| AUTHOR: | Apanasov, B. N. (Boris Nikolaevich) |
| TITLE: | Conformal geometry of discrete groups and manifolds / by Boris N. Apanasov. |
| PUBLISHER: | Berlin ; New York : Walter de Gruyter, 2000. |
| SERIES: | De Gruyter expositions in mathematics, 32 |
| CALL NUMBER: | QA 609 .A63 2000 CIMM |
| |
| AUTHOR: | McCleary, John, 1952- |
| TITLE: | A user's guide to spectral sequences / John McCleary. |
| EDITION: | 2nd ed. |
| PUBLISHER: | Cambridge ; New York : Cambridge University Press, 2001. |
| SERIES: | Cambridge studies in advanced mathematics ; 58 |
| CALL NUMBER: | QA 612.8 .M33 2001 CIMM |
| |
| AUTHOR: | Selvadurai, A. P. S. |
| TITLE: | Partial differential equations in mechanics / A.P.S. Selvadurai. |
| PUBLISHER: | Berlin ; New York : Springer, c2000. |
| CALL NUMBER: | QA 805 .S45 2000 CIMM |
| |
| AUTHOR: | Oran, Elaine S. |
| TITLE: | Numerical simulation of reactive flow / Elaine S. Oran, Jay P. Boris. |
| EDITION: | 2nd ed. |
| PUBLISHER: | Cambridge ; New York : Cambridge University Press, c2001. |
| CALL NUMBER: | QA 911 .O66 2001 CIMM |
| |
| AUTHOR: | Wesseling, Pieter, Dr. Ir. |
| TITLE: | Principles of computational fluid dynamics / Pieter Wesseling. |
| PUBLISHER: | Berlin ; New York : Springer, c2001. |
| SERIES: | Springer series in computational mathematics, 29 |
| CALL NUMBER: | QA 911 .W35 2001 CIMM |
| |
| AUTHOR: | Sornette, D. |
| TITLE: | Critical phenomena in natural sciences : chaos, fractals, selforganization, and disorder : concepts and tools / Didier Sornette. |
| PUBLISHER: | Berlin ; New York : Springer, 2000. |
| SERIES: | Springer series in synergetics, |
| CALL NUMBER: | QC 173.4 .C74 S67 2000 CIMM |
| |
| AUTHOR: | Bürger, Reinhard. |
| TITLE: | The mathematical theory of selection, recombination, and mutation / Reinhard Bürger. |
| PUBLISHER: | Chichester ; New York : John Wiley, c2000. |
| SERIES: | Wiley series in mathematical and computational biology |
| CALL NUMBER: | QH 455 .B87 2000 CIMM |
| |
| AUTHOR: | Schröder, Hartmut, 1945- |
| UNIFORM TITLE: | Mehrdimensionale signalverarbeitung. English |
| TITLE: | One- and multidimensional signal processing : algorithms and applications in image processing / Hartmut Schröder, Holger Blume. |
| PUBLISHER: | Chichester, England ; New York : John Wiley, c2000. |
| CALL NUMBER: | TK 5102.9 .S375 2000 CIMM |
| |
| |