TITLE: | Parallel text processing : alignment and use of translation corpora / edited by Jean Véronis. |
PUBLISHER: | Dordrecht ; Boston : Kluwer Academic, c2000. |
SERIES: | Text, speech, and language technology ; v. 13 |
CALL NUMBER: | P 308 .P36 2000 CIMM |
| |
AUTHOR: | Lombardi, Eric, 1968- |
TITLE: | Oscillatory integrals and phenomena beyond all algebraic orders : with applications to homoclinic orbits in reversible systems / Eric Lombardi. |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in mathematics, 1741 |
CALL NUMBER: | QA 3 .L23 v. 1741 CIMM |
| |
AUTHOR: | Unterberger, André. |
TITLE: | Quantization and non-holomorphic modular forms / André Unterberger. |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in mathematics, 1742 |
CALL NUMBER: | QA 3 .L28 no. 1742 CIMM |
| |
TITLE: | Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers / Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in computer science, 1766 |
CALL NUMBER: | QA 75.5 .L43 no. 1766 CIMM |
| |
AUTHOR: | Fensel, Dieter. |
TITLE: | Problem solving methods : understanding, description, development, and reuse / Dieter Fensel. |
PUBLISHER: | New York : Springer, 2000. |
SERIES: | Lecture notes in computer science ; 1791. Lecture notes in artificial intelligence |
CALL NUMBER: | QA 75.5 .L43 no. 1791 CIMM |
| |
TITLE: | Product focused software process improvement : Second International Conference PROFES 2000, Oulu, Finland, June 20-22, 2000 : proceedings / Frank Bomarius, Markku Oivo (eds.) |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in computer science, 1840 |
CALL NUMBER: | QA 75.5 .L43 no. 1840 CIMM |
| |
TITLE: | Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings / Frédéric Cuppens ... [et al.] (eds.). |
PUBLISHER: | New York : Springer, c2000. |
SERIES: | Lecture notes in computer science ; 1895 |
CALL NUMBER: | QA 75.5 .L43 no. 1895 CIMM |
| |
TITLE: | Recent advances in intrusion detection : third international workshop, RAID 2000, Toulouse, France, October 2-4, 2000 : proceedings / Hervé Debar, Ludovic Mé, S. Felix Wu (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in computer science, 1907 |
CALL NUMBER: | QA 75.5 .L43 no. 1907 CIMM |
| |
TITLE: | Recent advances in parallel virtual machine and message passing interface : 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 10-13, 2000 : proceedings / Jack Dongarra, Peter Kacsuk, Norbert Podhorszki (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in computer science ; 1908 |
CALL NUMBER: | QA 75.5 .L43 no. 1908 CIMM |
| |
TITLE: | Distributed computing : 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings / Maurice Herlihy (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in computer science, 1914 |
CALL NUMBER: | QA 75.5 .L43 no. 1914 CIMM |
| |
TITLE: | Conceptual modeling - ER 2000 : 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 / Alberto H.F. Laender, Stephen W. Liddle, Veda C. Storey (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in computer science, 1920 |
CALL NUMBER: | QA 75.5 .L43 no. 1920 CIMM |
| |
TITLE: | Conceptual modeling for E-business and the Web : ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 : proceedings / Stephen W. Liddle, Heinrich C. Mayr, Bernhard Thalheim (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in computer science, 1921 |
CALL NUMBER: | QA 75.5 .L43 no. 1921 CIMM |
| |
TITLE: | Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings / Walid Taha (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in computer science, 1924 |
CALL NUMBER: | QA 75.5 .L43 no. 1924 CIMM |
| |
TITLE: | Knowledge engineering and knowledge management : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings / Rose Dieng, Olivier Corby (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in artificial intelligence ; 1937 Lecture notes in computer science |
CALL NUMBER: | QA 75.5 .L43 no. 1937 CIMM |
| |
TITLE: | UML 2000--the unified modeling language : advancing the standard : third international conference, York, UK, October 2-6, 2000 : proceedings / Andy Evans, Stuart Kent (eds.). |
PUBLISHER: | New York : Springer, 2000. |
SERIES: | Lecture notes in computer science ; 1939 |
CALL NUMBER: | QA 75.5 .L43 no. 1939 CIMM |
| |
AUTHOR: | Attoui, Ammar, 1957- |
UNIFORM TITLE: | Systèmes multi-agents et le temps réel. English |
TITLE: | Real-time and multi-agent systems / Ammar Attoui ; translator: Suzanne Ingram. |
PUBLISHER: | New York : Springer, 2000. |
SERIES: | Practitioner series |
CALL NUMBER: | QA 76.54 .A88 2000 CIMM |
| |
AUTHOR: | Chen, Shu-Ching, 1963- |
TITLE: | Semantic models for multimedia database searching and browsing / by Shu-Ching Chen, R.L. Kashyap, Arif Ghafoor. |
PUBLISHER: | Boston, MA : Kluwer Academic Publishers, 2000. |
SERIES: | The Kluwer international series on advances in database systems ; 21 |
CALL NUMBER: | QA 76.575 .C46 2000 CIMM |
| |
AUTHOR: | Lu, Ruqian, 1935- |
TITLE: | Domain modeling-based software engineering : a formal approach / by Ruqian Lu, Zhi Jin. |
PUBLISHER: | Boston, MA : Kluwer Academic, c2000. |
SERIES: | The Kluwer international series on Asian studies in computer and information science ; 8 |
CALL NUMBER: | QA 76.758 .L84 2000 CIMM |
| |
TITLE: | Proceedings of the First Workshop on Industrial Experiences with Systems Software (WIESS 2000), October 22, 2000, San Diego, California, USA. |
PUBLISHER: | Berkeley, CA : USENIX Association, c2000. |
CALL NUMBER: | QA 76.76 .S59 W67 2000 CIMM |
| |
AUTHOR: | Dubuisson, Olivier. |
TITLE: | Asn.1 communication between heterogeneous systems / Olivier Dubuisson ; translated from French by Philippe Fouquart. |
PUBLISHER: | San Diego : Morgan Kaufmann, 2001. |
CALL NUMBER: | QA 76.88 .D83 2001 CIMM |
| |
AUTHOR: | May, John M. |
TITLE: | Parallel I/O for high performance computing / John M. May. |
PUBLISHER: | San Francisco, CA : Morgan Kaufmann Publishers, 2001. |
CALL NUMBER: | QA 76.88 .M39 2001 CIMM |
| |
AUTHOR: | Hvasshovd, Svein-Olaf, 1954- |
TITLE: | Recovery in parallel database systems / Svein-Olaf Hvasshovd. |
EDITION: | 2nd ed. |
PUBLISHER: | [Braunschweig/Wiesbaden, Germany : Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, c1999] |
CALL NUMBER: | QA 76.9 .D3 H989 1999 CIMM |
| |
TITLE: | Recent issues on fuzzy databases / Gloria Bordogna, Gabriella Pasi (eds.). |
PUBLISHER: | Heidelberg [Germany] ; New York : Physica-Verlag, c2000. |
SERIES: | Studies in fuzziness and soft computing ; vol. 53 |
CALL NUMBER: | QA 76.9 .D3 R4235 2000 CIMM |
| |
TITLE: | Computational intelligence in data mining / edited by Giacomo Della Riccia, Rudolf Kruse, Hans-J. Lenz. |
PUBLISHER: | Wien ; New York : Springer, 2000. |
SERIES: | CISM courses and lectures ; 408 |
CALL NUMBER: | QA 76.9 .D343 C66 2000 CIMM |
| |
TITLE: | Distributed and parallel systems : from instruction parallelism to cluster computing / edited by Peter Kacsuk, Gabriele Kotsis. |
PUBLISHER: | Boston, MA : Kluwer Academic Publishers, 2000. |
SERIES: | The Kluwer international series in engineering and computer science ; SECS 567 |
CALL NUMBER: | QA 76.9 .D5 D48552 2000 CIMM |
| |
TITLE: | Mathematics and computer science : algorithms, trees, combinatorics, and probabilities / Danièle Gardy, Abdelkader Mokkadem, editors. |
PUBLISHER: | Basel, Switzerland ; Boston : Birkhäuser, c2000. |
SERIES: | Trends in mathematics |
CALL NUMBER: | QA 76.9 .M35 M3877 2000 CIMM |
| |
AUTHOR: | Alon, Noga. |
TITLE: | The probabilistic method / Noga Alon, Joel H. Spencer. |
EDITION: | 2nd ed. |
PUBLISHER: | New York : John Wiley, c2000. |
SERIES: | Wiley-Interscience series in discrete mathematics and optimization |
CALL NUMBER: | QA 164 .A46 2000 CIMM |
| |
AUTHOR: | Davenport, Harold, 1907- |
TITLE: | Multiplicative number theory / Harold Davenport. |
EDITION: | 3rd ed. / revised by Hugh L. Montgomery. |
PUBLISHER: | New York : Springer, c2000. |
SERIES: | Graduate texts in mathematics ; 74 |
CALL NUMBER: | QA 241 .D32 2000 CIMM |
| |
AUTHOR: | Kreuzer, Martin. |
TITLE: | Computational commutative algebra 1 / Martin Kreuzer, Lorenzo Robbiano. |
PUBLISHER: | Berlin ; New York : Springer, 2000. |
CALL NUMBER: | QA 251.3 .K78 2000 CIMM |
| |
AUTHOR: | Rohatgi, V. K., 1939- |
TITLE: | An introduction to probability and statistics. |
EDITION: | 2nd ed. / Vijay K. Rohatgi, A.K. Md. Ehsanes Saleh. |
PUBLISHER: | New York : Wiley, c2001. |
SERIES: | Wiley series in probability and statistics. Texts and references section |
CALL NUMBER: | QA 273 .R56 2001 CIMM |
| |
AUTHOR: | Steele, J. Michael. |
TITLE: | Stochastic calculus and financial applications / J. Michael Steele. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Applications of mathematics ; 45 |
CALL NUMBER: | QA 274.2 .S74 2001 CIMM |
| |
TITLE: | Empirical Bayes and likelihood inference / S.E. Ahmed, N. Reid. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Lecture notes in statistics ; 148 |
CALL NUMBER: | QA 279.5 .E47 2001 CIMM |
| |
AUTHOR: | Dshalalow, Jewgeni H. |
TITLE: | Real analysis : an introduction to the theory of real functions and integration / Jewgeni H. Dshalalow. |
PUBLISHER: | Boca Raton, Fla. ; London : Chapman & Hall/CRC, c2001. |
SERIES: | Studies in advanced mathematics |
CALL NUMBER: | QA 300 .D74 2001 CIMM |
| |
AUTHOR: | Strichartz, Robert S. |
TITLE: | The way of analysis / Robert S. Strichartz. |
EDITION: | Rev. ed. |
PUBLISHER: | Boston, Mass. : Jones and Bartlett, c1995. |
SERIES: | Jones and Bartlett books in mathematics |
CALL NUMBER: | QA 300 .S888 2000 CIMM |
| |
TITLE: | C*-algebras : proceedings of the SFB-Workshop on C*-Algebras, Münster, Germany, March 8-12, 1999 / Joachim Cuntz, Siegfried Echterhoff (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
CALL NUMBER: | QA 326 .S49 1999 CIMM |
| |
AUTHOR: | Ascher, U. M. (Uri M.), 1946- |
TITLE: | Computer methods for ordinary differential equations and differential-algebraic equations / Uri M. Ascher, Linda R. Petzold. |
PUBLISHER: | Philadelphia : Society for Industrial and Applied Mathematics, c1998. |
CALL NUMBER: | QA 372 .A78 1998 CIMM |
| |
AUTHOR: | Kuzmina, R. P. |
TITLE: | Asymptotic methods for ordinary differential equations / by R.P. Kuzmina. |
PUBLISHER: | Dordrecht ; Boston ; London : Kluwer Academic, c2000. |
SERIES: | Mathematics and its applications ; v. 512 |
CALL NUMBER: | QA 372 .K985 2000 CIMM |
| |
TITLE: | Sensitivity analysis / edited by A. Saltelli, K. Chan, E.M. Scott. |
PUBLISHER: | Chichester ; New York : Wiley, c2000. |
SERIES: | Wiley series in probability and statistics |
CALL NUMBER: | QA 402.3 .S45 2000 CIMM |
| |
TITLE: | Harmonic analysis and integral geometry / [edited by] Massimo A. Picardello. |
PUBLISHER: | Boca Raton, Fla. ; London : Chapman & Hall/CRC, c2001. |
SERIES: | Chapman & Hall/CRC research notes in mathematics series ; 422 |
CALL NUMBER: | QA 403 .H2225 2001 CIMM |
| |
AUTHOR: | Gallier, Jean H. |
TITLE: | Geometric methods and applications : for computer science and engineering / Jean Gallier. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Texts in applied mathematics ; 38 |
CALL NUMBER: | QA 445 .G345 2001 CIMM |
| |
AUTHOR: | Essen, A. R. P. van den (Arnoldus Richardus Petrus van den), 1951- |
TITLE: | Polynomial automorphisms and the Jacobian conjecture / Arno van den Essen. |
PUBLISHER: | Basel ; Boston : Birkhäuser Verlag, c2000. |
SERIES: | Progress in mathematics ; v. 190 |
CALL NUMBER: | QA 564 .E77 2000 CIMM |
| |
TITLE: | An invitation to algebraic geometry / Karen E. Smith ... [et al.]. |
PUBLISHER: | New York : Springer, c2000. |
SERIES: | Universitext |
CALL NUMBER: | QA 564 .I62 2000 CIMM |
| |
AUTHOR: | Dehornoy, Patrick. |
TITLE: | Braids and self-distributivity / Patrick Dehornoy. |
PUBLISHER: | Basel ; Boston : Birkhäuser, c2000. |
SERIES: | Progress in mathematics ; v. 192 |
CALL NUMBER: | QA 612.23 .D44 2000 CIMM |
| |
AUTHOR: | Cholewa, Jan W. |
TITLE: | Global attractors in abstract parabolic problems / Jan W. Cholewa and Tomasz Dlotko ; in cooperation with Nathaniel Chafee. |
PUBLISHER: | Cambridge, UK ; New York : Cambridge University Press, 2000. |
SERIES: | London Mathematical Society lecture note series ; 278 |
CALL NUMBER: | QA 614.813 .C46 2000 CIMM |
| |
TITLE: | Multiple-time-scale dynamical systems / Christopher K.R.T. Jones, Alexander I. Khibnik, editors. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | The IMA volumes in mathematics and its applications ; v. 122 |
CALL NUMBER: | QA 871 .M85 2001 CIMM |
| |
TITLE: | Statistical physics and spatial statistics : the art of analyzing and modeling spatial structures and pattern formation / Klaus R. Mecke, Dietrich Stoyan (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
SERIES: | Lecture notes in physics, 554 |
CALL NUMBER: | QC 174.8 .S72 2000 CIMM |
| |
AUTHOR: | Rocsoreanu, C. (Carmen) |
TITLE: | The FitzHugh-Nagumo model : bifurcation and dynamics / by C. Rocsoreanu, A. Georgescu, and N. Giurgiteanu. |
PUBLISHER: | Dordrecht ; Boston : Kluwer Academic Publishers, c2000. |
SERIES: | Mathematical modelling ; v. 10 |
CALL NUMBER: | QP 113 .R63 2000 CIMM |
| |
TITLE: | Rendering techniques 2000 : proceedings of the Eurographics Workshop in Brno, Czech Republic, June 26-28, 2000 / B. Péroche, H. Rushmeier (eds.). |
PUBLISHER: | Wien ; New York : Springer, c2000. |
SERIES: | SpringerComputerScience, |
SERIES: | Eurographics |
CALL NUMBER: | T 385 .E9814 2000 CIMM |
| |
AUTHOR: | Ritter, G. X. |
TITLE: | Handbook of computer vision algorithms in image algebra / Gerhard X. Ritter, Joseph N. Wilson. |
EDITION: | 2nd ed. |
PUBLISHER: | Boca Raton : CRC Press, c2001. |
CALL NUMBER: | TA 1634 .R58 2001 CIMM |
| |
AUTHOR: | Schlichthärle, Dietrich, 1949- |
TITLE: | Digital filters : basics and design / Dietrich Schlichthärle. |
PUBLISHER: | Berlin ; New York : Springer, c2000. |
CALL NUMBER: | TK 5102.9 .S367 2000 CIMM |
| |
TITLE: | Computer animation and simulation 2000 : proceedings of the Eurographics Workshop in Interlaken, Switzerland, August 21-22, 2000 / N. Magnenat-Thalamn, D. Thalmann, B. Arnaldi (eds.). |
PUBLISHER: | Wien ; New York : Springer, c2000. |
SERIES: | Eurographics, |
SERIES: | Springer computer science |
CALL NUMBER: | TR 897.7 .C65 2000 CIMM |
| |
| |