AUTHOR: | Monod, Nicolas, 1973- |
TITLE: | Continuous bounded cohomology of locally compact groups / Nicolas Monod. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in mathematics, 1758 |
CALL NUMBER: | QA 3 .L28 no. 1758 CIMM |
| |
AUTHOR: | Adelmann, Clemens, 1965- |
TITLE: | The decomposition of primes in torsion point fields / Clemens Adelmann. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in mathematics, 1761 |
CALL NUMBER: | QA 3 .L28 no. 1761 CIMM |
| |
TITLE: | Objects and databases : international symposium, Sophia Antipolis, France, June 13, 2000 : revised papers / Klaus R. Dittrich ... [et al.]. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1944 |
CALL NUMBER: | QA 75.5 .L43 no. 1944 CIMM |
| |
TITLE: | Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers / Philippe Palanque, Fabio Patern'o (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1946 |
CALL NUMBER: | QA 75.5 .L43 no. 1946 CIMM |
| |
TITLE: | Applied parallel computing : new paradigms for HPC in industry and computing proceedings : 5th international workshop, PARA 2000, Bergen, Norway, June 18-20, 2000 : proceedings / Tor Sørevik ... [et al.]. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1947 |
CALL NUMBER: | QA 75.5 .L43 no. 1947 CIMM |
| |
TITLE: | Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000 : revised papers / Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Métais (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1959 |
CALL NUMBER: | QA 75.5 .L43 no. 1959 CIMM |
| |
TITLE: | Fast software encryption : 7th international workshop, FSE 2000, New York, NY, USA, April 10-12, 2000 : proceedings / Bruce Schneier (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1978 |
CALL NUMBER: | QA 75.5 .L43 no. 1978 CIMM |
| |
TITLE: | Vector and parallel processing--VECPAR 2000 : 4th international conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks / José M.L.M. Palma, Jack Dongarra, Vicente Hernández (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1981 |
CALL NUMBER: | QA 75.5 .L43 no. 1981 CIMM |
| |
TITLE: | Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1985 |
CALL NUMBER: | QA 75.5 .L43 no. 1985 CIMM |
| |
TITLE: | Numerical analysis and its applications : second international conference, NAA 2000, Rousse, Bulgaria, June 11-15, 2000 : revised papers / Lubin Vulkov, Jerzy Wasniewski, Plamen Yalamov (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1988 |
CALL NUMBER: | QA 75.5 .L43 no. 1988 CIMM |
| |
TITLE: | Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings / I.V. Ramakrishnan (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1990 |
CALL NUMBER: | QA 75.5 .L43 no. 1990 CIMM |
| |
TITLE: | Public key cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001, Cheju Island, Korea, February 13-15, 2001 : proceedings /c Kwangjo Kim (ed.). |
PUBLISHER: | Berlin ; New York : Springer, 2001. |
SERIES: | Lecture notes in computer science ; 1992 |
CALL NUMBER: | QA 75.5 .L43 no. 1992 CIMM |
| |
AUTHOR: | International Workshop WebDB 2000 (2000 : Dallas, Tex.) |
TITLE: | The World Wide Web and databases : third International Workshop WebDB 2000 : Dallas, TX, USA, May 18-19, 2000 : selected papers / Dan Suciu, Gottfried Vosen (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1997 |
CALL NUMBER: | QA 75.5 .L43 no. 1997 CIMM |
| |
TITLE: | Engineering distributed objects : second international workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised papers / Wolfgang Emmerich, Stefan Tai (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 1999 |
CALL NUMBER: | QA 75.5 .L43 no. 1999 CIMM |
| |
TITLE: | Computational linguistics and intelligent text processing : second international conference, CICLing 2001, Mexico City, Mexico, February 18-24, 2001 : proceedings / Alexander Gelbukh (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2004 |
CALL NUMBER: | QA 75.5 .L43 no. 2004 CIMM |
| |
TITLE: | New approaches in software measurement : 10th international workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000 : proceedings / Reiner Dumke, Alain Abran (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2006 |
CALL NUMBER: | QA 75.5 .L43 no. 2006 CIMM |
| |
TITLE: | STACS 2001 : 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings / Afonso Ferreira, Horst Reichel (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2010 |
CALL NUMBER: | QA 75.5 .L43 no. 2010 CIMM |
| |
TITLE: | Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers / Markus Mohnen, Pieter Koopman (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2011 |
CALL NUMBER: | QA 75.5 .L43 no. 2011 CIMM |
| |
TITLE: | Selected areas in cryptograpy : 7th annual international workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000 : proceedings / Douglas R. Stinson, Stafford Tavares (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2012 |
CALL NUMBER: | QA 75.5 .L43 no. 2012 CIMM |
| |
TITLE: | Advances in pattern recognition : ICAPR 2001 : second international conference, Rio de Janeiro, Brazil, March 11-14, 2001 : proceedings / Sameer Singh, Nabeel Murshed, Walter Kropatsch (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2013 |
CALL NUMBER: | QA 75.5 .L43 no. 2013 CIMM |
| |
TITLE: | Information security and cryptology : ICISC 2000, third international conference, Seoul, Korea, December 8-9, 2000 : proceedings / Dongho Won (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2015 |
CALL NUMBER: | QA 75.5 .L43 no. 2015 CIMM |
| |
TITLE: | 3D structures from images - SMILE 2000 : Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments, Dublin, Ireland, July 1-2, 2000 : revised papers / Marc Pollefeys ... [et al.]. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2018 |
CALL NUMBER: | QA 75.5 .L43 no. 2018 CIMM |
| |
TITLE: | Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / Herbert Kuchen, Kazunori Ueda (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2024 |
CALL NUMBER: | QA 75.5 .L43 no. 2024 CIMM |
| |
TITLE: | Fundamental approaches to software engineering : 4th international conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Heinrich Hussmann (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2029 |
CALL NUMBER: | QA 75.5 .L43 no. 2029 CIMM |
| |
TITLE: | Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell, Marino Miculan (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2030 |
CALL NUMBER: | QA 75.5 .L43 no. 2030 CIMM |
| |
TITLE: | Hybrid systems : computation and control : 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings / Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2034 |
CALL NUMBER: | QA 75.5 .L43 no. 2034 CIMM |
| |
TITLE: | Applications of evolutionary computing : EvoWorkshops 2001 : EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 : proceedings / Egbert J.W. Boers et al. (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2037 |
CALL NUMBER: | QA 75.5 .L43 no. 2037 CIMM |
| |
TITLE: | Genetic programming : 4th European conference, EuropGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings / Julian Miller ... [et al.]. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2038 |
CALL NUMBER: | QA 75.5 .L43 no. 2038 CIMM |
| |
TITLE: | Logic based program synthesis and transformation : 10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2042 |
CALL NUMBER: | QA 75.5 .L43 no. 2042 CIMM |
| |
TITLE: | Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference, Leuven, Belgium, May 14-18, 2001 : proceedings / Alfred Strohmeier, Dirk Craeynest (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2043 |
CALL NUMBER: | QA 75.5 .L43 no. 2043 CIMM |
| |
TITLE: | Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / Samson Abramsky (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2044 |
CALL NUMBER: | QA 75.5 .L43 no. 2044 CIMM |
| |
TITLE: | Advances in cryptology : EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings / Birgit Pfitzmann (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2045 |
CALL NUMBER: | QA 75.5 .L43 no. 2045 CIMM |
| |
AUTHOR: | Pauli, Josef. |
TITLE: | Learning-based robot vision : principles and applications / Josef Pauli. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2048 |
CALL NUMBER: | QA 75.5 .L43 no. 2048 CIMM |
| |
TITLE: | Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed.) |
PUBLISHER: | Berlin : London : Springer, c2001. |
SERIES: | Lecture notes in computer science 2051 |
CALL NUMBER: | QA 75.5 .L43 no. 2051 CIMM |
| |
TITLE: | Information assurance in computer networks : methods, models and architectures for network security : international workshop MMM-ACNS 2001, St. Petersburg, Russia, May 21-23, 2001 : proceedings / Vladimir I. Gorodetski, Victor A. Skormin, Leonard J. Popyack (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2052 |
CALL NUMBER: | QA 75.5 .L43 no. 2052 CIMM |
| |
TITLE: | Programs as data objects : second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings / Olivier Danvy, Andrzej Filinski (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2053 |
CALL NUMBER: | QA 75.5 .L43 no. 2053 CIMM |
| |
TITLE: | DNA computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, the Netherlands, June 13-17, 2000 : revised papers / Anne Condon, Grzegorz Rozenberg (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2054 |
CALL NUMBER: | QA 75.5 .L43 no. 2054 CIMM |
| |
TITLE: | Machines, computations, and universality : third international conference, MCU 2001, Chisinau, Moldova, May 23-27, 2001 : proceedings / Maurice Margenstern, Yurii Rogozhin (eds.) |
PUBLISHER: | Berlin : London : Springer, c2001. |
SERIES: | Lecture notes in computer science 2055 |
CALL NUMBER: | QA 75.5 .L43 no. 2055 CIMM |
| |
TITLE: | Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2057 |
CALL NUMBER: | QA 75.5 .L43 no. 2057 CIMM |
| |
TITLE: | Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers / Jens Blanck, Vasco Brattka, Peter Hertling (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2064 |
CALL NUMBER: | QA 75.5 .L43 no. 2064 CIMM |
| |
TITLE: | Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2031 |
CALL NUMBER: | QA 75.5 .L43 no. 2031 CIMM |
| |
TITLE: | Multi-image analysis : 10th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, March 12-17, 2000 : revised papers / Reinhard Klette, Thomas Huang, Georgy Gimel'farb (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2032 |
CALL NUMBER: | QA 75.5 .L43 no. 2032 CIMM |
| |
AUTHOR: | Homer, S. (Steven) |
TITLE: | Computability and complexity theory / Steven Homer, Alan L. Selman. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Texts in computer science |
CALL NUMBER: | QA 76 .H6236 2001 CIMM |
| |
TITLE: | Informatics 10 years back, 10 years ahead / Reinhard Wilhelm (ed.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science, 2000 |
CALL NUMBER: | QA 76 .I28 2001 CIMM |
| |
AUTHOR: | Misra, Jayadev. |
TITLE: | A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Monographs in computer science |
CALL NUMBER: | QA 76.6 .M528 2001 CIMM |
| |
TITLE: | Object-oriented application development using the Caché postrelational database / W. Kirsten ... [et al.]. |
PUBLISHER: | Berlin ; New York : Springer, 2001. |
CALL NUMBER: | QA 76.64 .O2424 2001 CIMM |
| |
AUTHOR: | Lind, Jürgen, 1968- |
TITLE: | Iterative software engineering for multiagent systems : the MASSIVE method / Jürgen Lind. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science ; 1994. Lecture notes in artifial intelligence |
CALL NUMBER: | QA 76.758 .L52 2001 CIMM |
| |
TITLE: | Coordination of Internet agents : models, technologies, and applications / Andrea Omicini ... [et al.], (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
CALL NUMBER: | QA 76.76 .I58 C68 2001 CIMM |
| |
AUTHOR: | Peled, Doron, 1962- |
TITLE: | Software reliability methods / Doron A. Peled ; foreword by Edmund M. Clarke. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Texts in computer science |
CALL NUMBER: | QA 76.76 .R44 P317 2001 CIMM |
| |
AUTHOR: | Marchette, David J. |
TITLE: | Computer intrusion detection and network monitoring : a statistical viewpoint / David J. Marchette. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Statistics for engineering and information science |
CALL NUMBER: | QA 76.9 .A25 M34 2001 CIMM |
| |
AUTHOR: | Hromkovic, Juraj, 1958- |
TITLE: | Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Texts in theoretical computer science |
CALL NUMBER: | QA 76.9 .A43 H76 2001 CIMM |
| |
AUTHOR: | Fleuriot, Jacques, 1972- |
TITLE: | A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia / Jacques Fleuriot. |
PUBLISHER: | London ; New York : Springer, c2001. |
SERIES: | Distinguished dissertations, |
CALL NUMBER: | QA 76.9 .A96 F72 2001 CIMM |
| |
AUTHOR: | Coutinho, Murilo G. (Murilo Gondim) |
TITLE: | Dynamic simulations of multibody systems / Murilo G. Coutinho. |
PUBLISHER: | New York : Springer, c2001. |
CALL NUMBER: | QA 76.9 .C65 C695 2001 CIMM |
| |
TITLE: | Discrete event modeling and simulation technologies : a tapestry of systems and AI-based theories and methodologies : a tribute to the 60th birthday of Bernard P. Zeigler / Hessam S. Sarjoughian, Francois E. Cellier, editors. |
PUBLISHER: | New York : Springer, c2001. |
CALL NUMBER: | QA 76.9 .C65 D54 2001 CIMM |
| |
TITLE: | Advances in knowledge discovery and data mining : 5th Pacific-Asia Conference, PAKDD 2001, Hong Kong, China, April 16-18, 2001 : proceedings / David Cheung, Graham J. Williams, Qing Li (eds.). |
PUBLISHER: | Berlin ; New York : Springer, 2001. |
SERIES: | Lecture notes in computer science ; 2035. Lecture notes in artificial intelligence |
CALL NUMBER: | QA 76.9 .D3 P17 2001 CIMM |
| |
TITLE: | Temporal, spatial, and spatio-temporal data mining : first international workshop, TSDM 2000, Lyon, France, September 12, 2000 : revised papers / John F. Roddick, Kathleen Hornsby (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Lecture notes in computer science ; 2007. Lecture notes in artificial |
CALL NUMBER: | QA 76.9 .D343 T73 2000 CIMM |
| |
AUTHOR: | Overton, Michael L. |
TITLE: | Numerical computing with IEEE floating point arithmetic / Michael L. Overton. |
PUBLISHER: | Philadelphia, PA : Society for Industrial and Applied Mathematics, 2001. |
CALL NUMBER: | QA 76.9 .M35 O94 2001 CIMM |
| |
TITLE: | Deep fusion of computational and smybolic processing / Takeshi Furuhashi, Shun'Ichi, Tano, Hans-Arno Jacobsen, editors. |
PUBLISHER: | Heidelberg ; New York : Physica-Verlag, 2001. |
SERIES: | Studies in fuzziness and computing ; . 59. |
CALL NUMBER: | QA 76.9 .S63 D44 2001 CIMM |
| |
AUTHOR: | Wallis, W. D. |
TITLE: | Magic graphs / W.D. Wallis. |
PUBLISHER: | Boston : Birkhäuser, c2001. |
CALL NUMBER: | QA 166.197 .W35 2001 CIMM |
| |
AUTHOR: | Sagan, Bruce Eli. |
TITLE: | The symmetric group : representations, combinatorial algorithms, and symmetric functions / Bruce E. Sagan. |
EDITION: | 2nd ed. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Graduate texts in mathematics ; 203 |
CALL NUMBER: | QA 171 .S24 2000 CIMM |
| |
AUTHOR: | Escofier, Jean-Pierre. |
TITLE: | Galois theory / Jean-Pierre Escofier. |
PUBLISHER: | New York : Springer, [2000], c2001. |
SERIES: | Graduate texts in mathematics ; 204 |
CALL NUMBER: | QA 174.2 .E73 2000 CIMM |
| |
AUTHOR: | Kane, Richard M., 1944- |
TITLE: | Reflection groups and invariant theory / Richard Kane. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | CMS books in mathematics ; 5 |
CALL NUMBER: | QA 177 .K36 2001 CIMM |
| |
AUTHOR: | Knudson, Kevin P. (Patrick), 1969- |
TITLE: | Homology of linear groups / Kevin P. Knudson. |
PUBLISHER: | Basel ; Boston : Birkhauser Verlag, [2000], c2001. |
SERIES: | Progress in mathematics ; v. 193 |
CALL NUMBER: | QA 179 .K59 2001 CIMM |
| |
AUTHOR: | Pan, Victor. |
TITLE: | Structured matrices and polynomials : unified superfast algorithms / Victor Y. Pan. |
PUBLISHER: | Boston : Birkhäuser/Springer, c 2001. |
CALL NUMBER: | QA 188 .P364 2001 CIMM |
| |
TITLE: | The Andrews festschrift : seventeen papers on classical number theory and combinatorics / Dominique Foata, Guo-Niu Han (eds.). |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
CALL NUMBER: | QA 241 .A498 2001 CIMM |
| |
TITLE: | Finite fields and applications : proceedings of the Fifth International Conference on Finite Fields and Applications Fq5, held at the University of Augsburg, Germany, August 2-6, 1999 / Dieter Jungnickel, Harald Niederreiter, editors. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
CALL NUMBER: | QA 247.3 .I57 1999 CIMM |
| |
TITLE: | Codes, systems, and graphical models / Brian Marcus, Joachim Rosenthal, editors. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | The IMA volumes in mathematics and its applications ; v. 123 |
CALL NUMBER: | QA 268 .C63 2001 CIMM |
| |
TITLE: | Lévy processes : theory and applications / Ole E. Barndorff-Nielsen, Thomas Mikosch, Sidney I. Resnick, editors. |
PUBLISHER: | Boston : Birkhäuser, c2001. |
CALL NUMBER: | QA 274 .L48 2001 CIMM |
| |
AUTHOR: | Limnios, N. (Nikolaos) |
TITLE: | Semi-Markov processes and reliability / N. Limnios, G. Oprisan. |
PUBLISHER: | Boston : Birkhäuser, c2001. |
SERIES: | Statistics for industry and technology |
CALL NUMBER: | QA 274.7 .L56 2001 CIMM |
| |
AUTHOR: | Kushner, Harold J. (Harold Joseph), 1933- |
TITLE: | Heavy traffic analysis of controlled queueing and communications networks / Harold J. Kushner. |
PUBLISHER: | New York : Springer, 2001. |
SERIES: | Applications of mathematics ; 47 |
CALL NUMBER: | QA 274.8 .K87 2001 CIMM |
| |
AUTHOR: | Khattree, Ravindra. |
TITLE: | Multivariate data reduction and discrimination with SAS software / Ravindra Khattree, Dayanand N. Naik. |
PUBLISHER: | Cary, N.C. : SAS Institute Inc., 2000. |
CALL NUMBER: | QA 278 .K473 2000 |
| |
AUTHOR: | Cheney, E. W. (Elliott Ward), 1929- |
TITLE: | Analysis for applied mathematics / Ward Cheney. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Graduate texts in mathematics ; 208 |
CALL NUMBER: | QA 300 .C4437 2001 CIMM |
| |
AUTHOR: | Dineen, Seán, 1944- |
TITLE: | Multivariate calculus and geometry / Seán Dineen. |
EDITION: | 2nd ed. |
PUBLISHER: | London ; New York : Springer, c2001. |
SERIES: | Springer undergraduate mathematics series, |
CALL NUMBER: | QA 303 .D63 2001 CIMM |
| |
AUTHOR: | Kubrusly, Carlos S., 1947- |
TITLE: | Elements of operator theory / Carlos S. Kubrusly. |
PUBLISHER: | Boston : Birkhäuser, c2001. |
CALL NUMBER: | QA 329 .K79 2001 CIMM |
| |
TITLE: | Operator theory and analysis : the M.A. Kaashoek Anniversary Volume Workshop in Amsterdam, November 12-14, 1997 / H. Bart, I Gohberg, A.C.M. Ran, editors. |
PUBLISHER: | Basel ; Boston : Birkhäuser Verlag, c2001. |
SERIES: | Operator theory, advances and applications ; vol. 122 |
CALL NUMBER: | QA 329 .M3 1997 CIMM |
| |
AUTHOR: | Karapetiants, N. K. (Nikolai Karapetovich) |
TITLE: | Equations with involutive operators / Nikolai Karapetiants, Stefan Samko. |
PUBLISHER: | Boston : Birkhäuser, c2001. |
CALL NUMBER: | QA 329.2 .K36 2001 CIMM |
| |
AUTHOR: | Grossinho, M. R. (Maria do Rosário), 1956- |
TITLE: | An introduction to minimax theorems and their applications to differential equations / by Maria do Rosário Grossinho, Stepan Agop Tersian. |
PUBLISHER: | Boston : Kluwer Academic Publishers, c2001. |
SERIES: | Nonconvex optimization and its applications ; v. 52 |
CALL NUMBER: | QA 372 .G78 2001 CIMM |
| |
TITLE: | Carleman estimates and applications to uniqueness and control theory / Ferruccio Colombini, Claude Zuily, editors. |
PUBLISHER: | Boston : Birkhäuser, c2001. |
SERIES: | Progress in nonlinear differential equations and their applications ; v. 46 |
CALL NUMBER: | QA 377 .C325 2001 CIMM |
| |
AUTHOR: | Edelsbrunner, Herbert. |
TITLE: | Geometry and topology for mesh generation / Herbert Edelsbrunner. |
PUBLISHER: | Cambridge ; New York : Cambridge University Press, 2001. |
SERIES: | Cambridge monographs on applied and computational mathematics ; 6 |
CALL NUMBER: | QA 377 .E36 2001 CIMM |
| |
AUTHOR: | Peletier, L. A. (Lambertus A.) |
TITLE: | Spatial patterns : higher order models in physics and mechanics / L.A. Peletier, W.C. Troy. |
PUBLISHER: | Boston : Birkhäuser, c2001. |
SERIES: | Progress in nonlinear differential equations and their applications ; v. 45 |
CALL NUMBER: | QA 377 .P37 2001 CIMM |
| |
AUTHOR: | Locatelli, Arturo. |
TITLE: | Optimal control : an introduction / Arturo Locatelli. |
PUBLISHER: | Basel ; Boston : Birkhäuser Verlag, c2001. |
CALL NUMBER: | QA 402.3 .L615 2001 CIMM |
| |
AUTHOR: | Jaffard, Stéphane, 1962- |
TITLE: | Wavelets : tools for science & technology / Stéphane Jaffard, Yves Meyer, Robert D. Ryan. |
PUBLISHER: | Philadelphia : Society for Industrial and Applied Mathematics, c2001. |
CALL NUMBER: | QA 403.3 .J34 2001 CIMM |
| |
AUTHOR: | Levin, Eli. |
TITLE: | Orthogonal polynomials for exponential weights / Eli Levin, Doron S. Lubinsky. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | CMS books in mathematics ; 4 |
CALL NUMBER: | QA 404.5 .L48 2001 CIMM |
| |
AUTHOR: | Trimèche, K. |
TITLE: | Generalized harmonic analysis and wavelet packets / Khalifa Trimèche. |
PUBLISHER: | Amsterdam : Gordon & Breach ; Abingdon : Marston, 2001. |
CALL NUMBER: | QA 408 .T75 2001 CIMM |
| |
AUTHOR: | Debarre, Olivier. |
TITLE: | Higher-dimensional algebraic geometry / Olivier Debarre. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Universitext |
CALL NUMBER: | QA 564 .D44 2001 CIMM |
| |
AUTHOR: | Chou, Kai Seng. |
TITLE: | The curve shortening problem / Kai-Seng Chou, Xi-Ping Zhu. |
PUBLISHER: | Boca Raton, FL : CRC/Chapman & Hall, c2001. |
CALL NUMBER: | QA 643 .C48 2000 CIMM |
| |
AUTHOR: | Postnikov, M. M. (Mikhail Mikhailovich) |
UNIFORM TITLE: | Rimanova geometriia. English. |
TITLE: | Geometry VI : Riemannian geometry / M.M. Postnikov. |
PUBLISHER: | Berlin ; London : Springer, c2001. |
SERIES: | Encyclopaedia of mathematical sciences v. 91 |
CALL NUMBER: | QA 649 .P67 2001 CIMM |
| |
AUTHOR: | Singer, Stephanie Frank, 1964- |
TITLE: | Symmetry in mechanics : a gentle, modern introduction / Stephanie Frank Singer. |
PUBLISHER: | Boston ; Basel : Birkhäuser, c2001. |
CALL NUMBER: | QA 805 .S62 2001 CIMM |
| |
TITLE: | Nonlinear instability analysis / editor[s], Lokenath Debnath, S. Roy Choudhury. |
PUBLISHER: | Southampton ; Boston : WIT Press ; Computational Mechanics Publications, c1997. |
SERIES: | Advances in fluid mechanics, v. 12, 28 |
CALL NUMBER: | QA 871 .N66 2001 CIMM |
| |
AUTHOR: | Lomax, Harvard. |
TITLE: | Fundamentals of computational fluid dynamics / H. Lomax, T.H. Pulliam, D.W. Zingg. |
PUBLISHER: | Berlin ; New York : Springer, c2001. |
SERIES: | Scientific computation, |
CALL NUMBER: | QA 911 .L66 2001 CIMM |
| |
AUTHOR: | Nedelec, Jean-Claude. |
TITLE: | Acoustic and electromagnetic equations : integral representations for harmonic problems / Jean-Claude Nedelec. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Applied mathematical sciences ; 144 |
CALL NUMBER: | QA 927 .N38 2000 CIMM |
| |
AUTHOR: | Enns, Richard H. |
TITLE: | Nonlinear physics with Mathematica for scientists and engineers / Richard H. Enns, George C. McGuire. |
PUBLISHER: | Boston : Birkhäuser, c2001. |
CALL NUMBER: | QC 20.7 .N6 E57 2001 CIMM |
| |
AUTHOR: | Stollmann, Peter. |
TITLE: | Caught by disorder : bound states in random media / Peter Stollmann. |
PUBLISHER: | Boston : Birkhäuser, c2001. |
SERIES: | Progress in mathematical physics ; v. 20 |
CALL NUMBER: | QC 173.4 .O4 S76 2001 CIMM |
| |
AUTHOR: | Fishman, George S. |
TITLE: | Discrete-event simulation : modeling, programming, and analysis / George S. Fishman. |
PUBLISHER: | New York : Springer, c2001. |
SERIES: | Springer series in operations research |
CALL NUMBER: | T 57.62 .F58 2001 CIMM |
| |
AUTHOR: | Ching, Wai Ki, 1969- |
TITLE: | Iterative methods for queuing and manufacturing systems / Wai Ki Ching. |
PUBLISHER: | London ; New York : Springer, 2001. |
SERIES: | Springer monographs in mathematics |
CALL NUMBER: | T 57.9 .C48 2001 CIMM |
| |
AUTHOR: | Frey, Pascal Jean. |
TITLE: | Mesh generation : application to finite elements / Pascal Jean Frey and Paul-Louis George. |
PUBLISHER: | France : Hermes Science ; Banbury : Drake, 2000. |
CALL NUMBER: | TA 347 .F5 F74 2000 CIMM |
| |
TITLE: | Peer-to-peer : harnessing the benefits of a disruptive technology / edited by Andy Oram. |
EDITION: | 1st ed. |
PUBLISHER: | Beijing ; Cambridge [Mass.] ; Farnham [England] : O'Reilly, c2001. |
CALL NUMBER: | TK 5105.7 .P44 2001 CIMM |
| |
| |