At a glance

Mathematics & Statistics Library

Math & Statistics Library new books received in February 2001

New books by month received

AUTHOR: AFPAC 2000
TITLE: Algebraic frames for the perception-action cycle: second international workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: TJ217.5 .A39 2000

TITLE: An invitation to algebraic geometry /
IMPRINT: New York : Springer, c2000.
CALL: QA564 .I62 2000

TITLE: Analysis and visualization tools for constraint programming : constraint debugging /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.612 .A53 2000

AUTHOR: Annual Linux Showcase and Conference
TITLE: Proceedings of the 4th Annual Linux Showcase and Conference, Atlanta: October 10-14, 2000, Atlanta, Georgia, USA /
IMPRINT: Berkeley, Calif. : USENIX, c2000.
CALL: QA76.76 .D49 A56 2000

TITLE: Artificial neural nets and genetic algorithms: proceedings of the international conference in Norwich, U.K., 1997.
IMPRINT: Wien ; New York : Springer, c1998.
CALL: QA76.87 .A78 1998

AUTHOR: ASA/MA 2000
TITLE: Agent systems, mobile agents, and applications: Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Z�urich, Switzerland, September 13-15, 2000 ; proceedings /
IMPRINT: New York ; London : Springer, 2000.
CALL: QA76.76 .I58 I589 2000

AUTHOR: Association for Machine Translation in the Americas.Conference
TITLE: Envisioning machine translation in the information future: 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000, Cuernavaca, Mexico, October 10-14, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: P308 .A85 2000

AUTHOR: Australasian Computer Science Conference
TITLE: 24th Australasian Computer Science Conference : ACSC 2001 : proceedings : 29 January-2 February, 2001, Gold Coast, Queensland, Australia /
IMPRINT: Los Alamitos, California : IEEE Computer Society, c2001.
CALL: QA75.5 .A88 2001

AUTHOR: Australasian Database Conference
TITLE: 12th Australasian Database Conference : ADC 2001: proceedings : January 29-February 1, 2001, Gold Coast, Queensland, Australia /
IMPRINT: Los Alamitos, California : IEEE Computer Society, c2001.
CALL: QA76.9 .D3 A97 2001

AUTHOR: Australasian User Interface Conference
TITLE: Second Australasian User Interface Conference: AUIC 2001 : proceedings : 29 January-1 February, 2001, Gold Coast, Queensland, Australia /
IMPRINT: Los Alamitos, California : IEEE Computer Society Press, c2001.
CALL: QA76.9 .U83 A97 2001

TITLE: Automated deduction in classical and non-classical logics : selected papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .A96 A85 2000

AUTHOR: Baumann, Joachim,
TITLE: Mobile agents: control algorithms /
IMPRINT: New York : Springer, 2000.
CALL: QA76.76 .I58 B38 2000

AUTHOR: Baylis, John.
TITLE: Error-correcting codes: a mathematical introduction /
IMPRINT: London ; New York : Chapman & Hall, 1998.
CALL: QA268 .B39 1998

AUTHOR: Beetz, Michael,
TITLE: Concurrent reactive plans: anticipating and forestalling execution failures /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TJ211.495 .B44 2000

AUTHOR: Bender, Carl M.
TITLE: Advanced mathematical methods for scientists and engineers /
IMPRINT: New York : Springer, 1999-
CALL: QA371 .B43 1999 V.1

AUTHOR: Berndt, Rolf.
TITLE: An introduction to symplectic geometry /
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA649 .B47 2001

AUTHOR: Bhat, B. V. Rajarama,
TITLE: Cocycles of CCR flows /
IMPRINT: Providence, RI : American Mathematical Society, 2001.
CALL: QA3 .A57 NO.709

AUTHOR: Billey, Sara.
TITLE: Singular loci of Schubert varieties /
IMPRINT: Boston : Birkhauser, c2000.
CALL: QA564 .B48 2000

AUTHOR: Bobenko, Alexander I.
TITLE: Painlev�e equations in the differential geometry of surfaces /
IMPRINT: New York : Springer, 2000.
CALL: QA3 .L28 V.1753

AUTHOR: Brundan, Jonathan,
TITLE: Quantum linear groups and representations of GLn (Fq) /
IMPRINT: Providence, RI : American Mathematical Society, 2001.
CALL: QA3 .A57 NO.706

AUTHOR: Christensen, Lars Winther,
TITLE: Gorenstein dimensions /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA3 .L28 V.1747

TITLE: Combinatorial and computational algebra: International Conference on Combinatorial and Computational Algebra, May 24-29, 1999, The University of Hong Kong, Hong Kong SAR, China /
IMPRINT: Providence, R.I. : American Mathematical Society, c2000.
CALL: QA150 .C64 2000

TITLE: Computational mathematics driven by industrial problems : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held in Martina Franca, Italy, June 21-27, 1999 /
IMPRINT: New York : Springer, 2000.
CALL: QA3 .L28 V.1739

AUTHOR: Conrad, Brian David,
TITLE: Grothendieck duality and base change /
IMPRINT: New York : Springer-Verlag, 2000.
CALL: QA3 .L28 V.1750

AUTHOR: Coordination 2000
TITLE: Coordination languages and models: 4th international conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.58 .C695 2000

AUTHOR: CP 2000
TITLE: Principles and practice of constraint programming--CP 2000 : 6th International Conference, CP 2000, Singapore, September 18-21, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.612 .C7 6TH 2000

AUTHOR: CVE
TITLE: CVE 2000: September 10-12, 2000, San Francisco, CA : proceedings of the third International Conference on Collaborative Virtual Environments /
IMPRINT: New York, NY : ACM, 2000.
CALL: QA76.9 .H85 C655 2000

AUTHOR: Dascalescu, Sorin.
TITLE: Hopf algebras: an introduction /
IMPRINT: New York : Marcel Dekker, c2001.
CALL: QA613.8 .D37 2001

AUTHOR: DISC 2000
TITLE: Distributed computing: 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D5 D485 2000

AUTHOR: Eberly, David H.
TITLE: 3D game engine design: a practical approach to real-time computer graphics /
IMPRINT: San Francisco : Morgan Kaufmann Publishers, c2001.
CALL: T385 .E373 2001

AUTHOR: ECDL 2000
TITLE: Research and advanced technology for digital libraries: 4th European Conference, ECDL 2000, Lisbon, Portugal, September 18-20, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: ZA4082 .E85 E25 2000

TITLE: Empirical Bayes and likelihood inference /
IMPRINT: New York : Springer, c2001.
CALL: QA279.5 .E47 2001

AUTHOR: Essen, A. R. P. van den
TITLE: Polynomial automorphisms and the Jacobian conjecture /
IMPRINT: Basel ; Boston : Birkhauser Verlag, 2000.
CALL: QA564 .E77 2000

AUTHOR: European Knowledge Acquisition Workshop
TITLE: Knowledge engineering and knowledge management: methods, models, and tools : 12th international conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: QA76.76 .E95 E35 2000

AUTHOR: European PVM/MPI Users' Group Meeting
TITLE: Recent advances in parallel virtual machine and message passing interface: 7th European PVM/MPI Users' Group Meeting, Balatonf�ured, Hungary, September 10-13, 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: QA76.58 .E973 2000

AUTHOR: European Symposium on Research in Computer Security
TITLE: Computer security--ESORICS 2000: 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .A25 E98 2000

AUTHOR: European Workshop on Learning Robots
TITLE: Advances in robot learning: 8th European Workshop on Learning Robots, EWLR-8, Lausanne, Switzerland, September 18, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TJ211.35 .E95 1999

AUTHOR: EWSPT 2000
TITLE: Software process technology: 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.751 E98 7TH 2000

AUTHOR: Farah, Ilijas,
TITLE: Analytic quotients: theory of liftings for quotients over analytic ideals on the integers /
IMPRINT: Providence, RI : American Mathematical Society, c2000.
CALL: QA3 .A57 NO.702

AUTHOR: Farenick, Douglas R.
TITLE: Algebras of linear transformations /
IMPRINT: New York : Springer, c2001.
CALL: QA251.5 .F38 2001

AUTHOR: FASE 2000
TITLE: Fundamental approaches to software engineering: third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.758 .F37 2000

AUTHOR: FOSSACS 2000
TITLE: Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.751 .F67 2000

TITLE: Foundations of intelligent systems: 12th international symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.76 .E95 I582 2000

AUTHOR: FroCoS 2000
TITLE: Frontiers of combining systems: third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings/
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA9 .A1 F73 2000

AUTHOR: FTRTFT 2000
TITLE: Formal techniques in real-time and fault-tolerant systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.54 .F66 6TH 2000

AUTHOR: Fuchs, L�aszl�o.
TITLE: Modules over non-Noetherian domains /
IMPRINT: Providence, RI : American Mathematical Society, c2001.
CALL: QA3 .A4 V.84

TITLE: Geometric aspects of probability theory and mathematical statistics /
IMPRINT: Dordrecht ; Boston : Kluwer Academic, c2000.
CALL: QA273.5 .G46 2000

AUTHOR: Guentner, Erik,
TITLE: Equivariant E-theory for C*-algebras /
IMPRINT: Providence, RI : American Mathematical Society, c2000.
CALL: QA3 .A57 NO.703

AUTHOR: Hagen, Roland,
TITLE: C*-algebras and numerical analysis /
IMPRINT: New York : Marcel Dekker, c2001.
CALL: QA297 .H22 2001

AUTHOR: Harel, David,
TITLE: Dynamic logic /
IMPRINT: Cambridge, Mass. : MIT Press, 2000.
CALL: QA76.9 .L63 H37 2000

AUTHOR: Hashimoto, Mitsuyasu,
TITLE: Auslander-Buchweitz approximations of equivariant modules /
IMPRINT: Cambridge, U.K. ; New York : Cambridge University Press, 2000.
CALL: QA169 .H385 2000

AUTHOR: Heinz, Ernst A.
TITLE: Scalable search in computer chess: algorithmic enhancements and experiments at high search depths /
IMPRINT: Braunschweig/Wiesbaden : Vieweg, c2000.
CALL: GV1449.3 .H45 2000

AUTHOR: Hoffmann, K.-H.
TITLE: Ginzburg-Landau phase transition theory and superconductivity /
IMPRINT: Basel ; Boston : Birkhauser, 2001.
CALL: QA297 .I5 V.134

AUTHOR: Hooper, Jeff,
TITLE: The second Chinburg conjecture for quaternion fields /
IMPRINT: Providence, RI : American Mathematical Society, c2000.
CALL: QA3 .A57 NO.704

AUTHOR: HSCC 2000
TITLE: Hybrid systems: computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 223-25, 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: QA76.38 .H73 2000

TITLE: Hybrid neural systems /
IMPRINT: Berlin ; New York : Springer-Verlag, c2000.
CALL: QA76.87 .H79 2000

AUTHOR: ICGI 2000.
TITLE: Grammatical inference: algorithms and applications ; 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings /
IMPRINT: Berlin ; London : Springer, 2000.
CALL: QA76.9 .N38 G7 2000

AUTHOR: ICMI (Conference)
TITLE: Advances in multimodal interfaces -- ICMI 2000: third international conference, Beijing, China, October 14-16, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .U83 I26 2000

AUTHOR: IEEE Symposium on Combinations of Evolutionary Computation and Neural Networks
TITLE: 2000 IEEE Symposium on Combinations of Evolutionary Computation and Neural Networks: proceedings of the First IEEE Symposium on Combinations of Evolutionary Computation and Neural Networks : May 11-13, 2000, the Gunter Hotel, San Antonio, TX, USA /
IMPRINT: Piscataway, New Jersey : IEEE, c2000.
CALL: QA76.87 .I37 2000

AUTHOR: IFIP/IEEE International Workshop on Distributed Systems: Operations and Management
TITLE: Services management in intelligent networks: 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000, Austin, TX, USA, December 4-6, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D5 I3385 2000

AUTHOR: IH'99
TITLE: Information hiding: third international workshop, IH'99, Dresden, Germany, September 29-October 1, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .A25 I48 1999

AUTHOR: International Conference CC 2000
TITLE: Compiler construction: 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.76 .C65 I52 9TH 2000

AUTHOR: International Conference on Advances in Information Systems
TITLE: Advances in information systems: first international conference, ADVIS 2000, Izmir, Turkey, October 25-27, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: T58.5 .I566 2000

AUTHOR: International Conference on Computer Safety, Reliability, and Security
TITLE: Computer safety, reliability and security: 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.76 .R47 I585 2000

AUTHOR: International Conference on Conceptual Modeling
TITLE: Conceptual modeling - ER 2000: 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D26 I567 2000

AUTHOR: International Conference on Conceptual Modeling
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 /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D262 I567 2000

AUTHOR: International Conference on Extending Database Technology
TITLE: Advances in database technology--EDBT 2000: 7th International Conference on Extending Database Technology, Konstanz, Germany, March 27-31, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D3 I55844 2000

AUTHOR: International Conference on Intelligence in Services and Networks
TITLE: Telecommunications and IT convergence towards service e-volution: 7th International Conference on Intelligence in Services and Networks, IS&N 2000, Athens, Greece, February 23-25, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK5101 .A1 I47985 2000

AUTHOR: International Conference on Intelligent Data Engineering and Automated Learning
TITLE: Intelligent data engineering and automated learning - IDEAL 2000: data mining, financial engineering, and intelligent agents : second international conference, Shatin, N.T., Hong Kong, December 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .D3 I55864 2000

AUTHOR: International Conference on Medical Image Computing and Computer-Assisted Intervention
TITLE: Medical image computing and computer-assisted intervention--MICCAI 2000: third international conference, Pittsburgh, PA, USA, October 11-14, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: R857 .O6 I574 2000

AUTHOR: International Seminar on Generic Programming
TITLE: Generic programming: International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.6245 .I58 1998

AUTHOR: International SPIN Workshop
TITLE: SPIN model checking and software verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.76 .V47 I58 2000

AUTHOR: International Symposium on Augmented Reality
TITLE: Proceedings, IEEE and ACM International Symposium on Augmented Reality (ISAR 2000): October 5-6, 2000, Munich, Germany /
IMPRINT: Los Alamitos, California : IEEE Computer Society, c2000.
CALL: T385 .I513 2000

AUTHOR: International Symposium on Handheld and Ubiquitous Computing
TITLE: Handheld and ubiquitous computing: Second International Symposium, HUC 2000, Bristol, UK, September 25-27, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.5 .I584 2000

AUTHOR: International Workshop Interactive Distributed Multimedia Systems and Telecommunication Services
TITLE: Interactive distributed multimedia systems and telecommunication services: 7th international workshop, IDMS 2000, Enschede, The Netherlands, October 17-20, 2000 : Proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.76 .I59 I586 2000

AUTHOR: International Workshop IW-SAPF-3
TITLE: Software architectures for product families: International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.76 .D47 I597 2000

AUTHOR: International Workshop on Groupware
TITLE: Sixth International Workshop on Groupware: CRIWG 2000 : October 18-20, 2000, Madeira, Portugal : proceedings /
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society, c2000.
CALL: HD66.2 .I58 2000

AUTHOR: International Workshop on Mobile Agents for Telecommunication Applications
TITLE: Mobile agents for telecommunication applications: Second International Workshop, MATA 2000, Paris, France, September 18-20, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer-Verlag, 2000.
CALL: QA76.76 .I58 I585 2000

TITLE: Issues in agent communication /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.76 .I58 I595 2000

AUTHOR: IWAN
TITLE: Active networks: second international working conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK5105.5 .I95 2000

AUTHOR: IWAR
TITLE: 2nd IEEE and ACM International Workshop on Augmented Reality (IWAR'99): October 20-21, 1999, San Francisco, California : proceedings.
IMPRINT: Los Alamitos, California : IEEE Computer Society, c1999.
CALL: T385 .I94 1999

AUTHOR: Jaworski, Jamie.
TITLE: Java security handbook.
IMPRINT: Indianapolis : SAMS, c2000.
CALL: QA76.73 .J38 J39 2000

AUTHOR: JCDCG '98
TITLE: Discrete and computational geometry: Japanese conference, JCDCG'98, Tokyo, Japan, December 9-12, 1998 : revised papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA167 .J33 1998

AUTHOR: JELIA 2000.
TITLE: Logics in artificial intelligence: European workshop, JELIA 2000, M�alaga, Spain, September 29 - October 2, 2000 ; proceedings /
IMPRINT: Berlin ; London : Springer, c2000.
CALL: Q334 .E985 2000

AUTHOR: Kaiser, Regina.
TITLE: Measuring business cycles in economic time series /
IMPRINT: New York : Springer, c2001.
CALL: HB3711 .K26 2001

AUTHOR: Kantor, W. M.
TITLE: Black box classical groups /
IMPRINT: Providence, RI : American Mathematical Society, 2001.
CALL: QA3 .A57 NO.708

AUTHOR: Kotz, Samuel.
TITLE: Continuous multivariate distributions.
IMPRINT: New York : Wiley, c2000-
CALL: QA273.6 .K68 2000

AUTHOR: Krause, Henning,
TITLE: The spectrum of a module category /
IMPRINT: Providence, RI : American Mathematical Society, 2001.
CALL: QA3 .A57 NO.707

AUTHOR: Lambrix, Patrick.
TITLE: Part-whole reasoning in an object-centered framework /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: Q387 .L35 2000

TITLE: Large-scale parallel data mining /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D343 L37 2000

AUTHOR: Latin American Symposium on Theoretical Informatics
TITLE: LATIN 2000: theoretical informatics : 4th Latin American symposium, Punta del Este, Uruguay, April 10-14, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA75.5 .L348 2000

TITLE: Linux in a nutshell: a desktop quick reference /
IMPRINT: Beijing ; Cambridge [Mass.] : O'Reilly, 2000.
CALL: QA76.76 .O63 L5459 2000

AUTHOR: McCutcheon, Randall,
TITLE: Elemental methods in ergodic Ramsey theory /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA3 .L28 V.1722

TITLE: Medical data analysis: First International Symposium, ISMDA 2000, Frankfurt Germany, September, 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: R853 .S7 M43 2000

TITLE: Medical informatics: computer applications in health care and biomedicine /
IMPRINT: New York : Springer, c2001.
CALL: R858 .M397 2001

AUTHOR: Moerdijk, Ieke.
TITLE: Proper maps of toposes /
IMPRINT: Providence, RI : American Mathematical Society, c2000.
CALL: QA3 .A57 NO.705

TITLE: Multimedia communications: directions and innovations.
IMPRINT: San Diego : Academic Press, c2001.
CALL: QA76.575 .M85 2001

AUTHOR: Nevzorov, Valery B.,
TITLE: Records: mathematical theory /
IMPRINT: Providence, RI : American Mathematical Society, c2001.
CALL: QA278.7 .N48 2001

TITLE: Next generation networks: network services for the Information Society : 5th IFIP TC6 international symposium, Bergen, Norway, October 3-6, 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: TK5105.5 .N49 2000

AUTHOR: Nielsen, M. A.,
TITLE: Quantum computation and quantum information /
IMPRINT: Cambridge, U.K. ; New York : Cambridge University Press, 2000.
CALL: QA76.889 .N54 2000

AUTHOR: Nikolaev, Igor,
TITLE: Foliations on surfaces /
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA613.62 .N54 2000

AUTHOR: OHS-6
TITLE: Open hypermedia systems and structural computing: 6th international workshop, OHS-6, 2nd international workshop, SC-2, San Antonio, Texas, USA, May/June 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: QA76.76 .I59 O37 2000

AUTHOR: Patmos 2000
TITLE: Integrated circuit design: power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, G�ottingen, Germany, September 13-15, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: TK7874.75 .P38 2000

TITLE: Performance evaluation: origins and directions /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .E94 P45 2000

TITLE: Performance evaluation and optimization of production lines /
IMPRINT: Bussum, The Netherlands : Baltzer Science Publishers, c2000.
CALL: T57.6 .A5 V.93

AUTHOR: PKDD 2000
TITLE: Principles of data mining and knowledge discovery: 4 th European Conference, PKDD 2000, Lyon, France, September 13-16, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .D3 P528 2000

AUTHOR: QofIS 2000
TITLE: Quality of future Internet services: first COST 263 international workshop, QofIS 2000, Berlin, Germany, September 25-26, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK5105.875 .I57 Q36 2000

AUTHOR: Rischpater, Ray.
TITLE: Palm enterprise applications: a Wiley tech brief /
IMPRINT: New York : John Wiley, c2001.
CALL: QA76.8 .P138 R57 2001

AUTHOR: RoboCup-99
TITLE: RoboCup-99: Robo Soccer World Cup III /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TJ210.3 .R6153 1999

AUTHOR: Rocsoreanu, C.
TITLE: The FitzHugh-Nagumo model: bifurcation and dynamics /
IMPRINT: Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
CALL: QP113 .R63 2000

AUTHOR: SAC'99
TITLE: Selected areas in cryptography: 6th annual international workshop, SAC'99, Kingston, Ontario, Canada, August 9-10, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer-Verlag, c2000.
CALL: QA76.9 .A25 .S22 1999

AUTHOR: SAIG 2000
TITLE: Semantics, applications, and implementation of program generation: International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.6 .S245 2000

AUTHOR: Selick, Paul,
TITLE: On natural coalgebra decompositions of tensor algebras and loop suspensions /
IMPRINT: Providence, RI : American Mathematical Society, c2000.
CALL: QA3 .A57 NO.701

TITLE: Solutions to parallel and distributed computing problems : lessons from biological sciences /
IMPRINT: New York : John Wiley, c2001.
CALL: QA76.58 .S63 2001

AUTHOR: Stringfellow, Stan.
TITLE: Backup and restore practices for Sun Enterprises servers.
IMPRINT: Palo Alto, CA : Sun Microsystems, c2000.
CALL: QA76.9 .B32 S77 2000

AUTHOR: Symposium on Theoretical Aspects of Computer Science
TITLE: STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA75.5 .S958 17TH 2000

AUTHOR: Tabachnick, Barbara G.,
TITLE: Computer-assisted research design and analysis /
IMPRINT: Boston : Allyn and Bacon, 2000.
CALL: T175 .T27 2000

AUTHOR: TACAS 2000
TITLE: Tools and algorithms for the construction and analysis of systems: 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .S88 T33 6TH 2000

TITLE: Theory and application of graph transformations: 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA267.3 .T485 2000

AUTHOR: Thierauf, Thomas.
TITLE: The computational complexity of equivalence and isomorphism problems /
IMPRINT: Berlin : Springer, 2000.
CALL: QA169 .T45 2000

AUTHOR: TOOLS 2000
TITLE: Computer performance evaluation: modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .E94 I55 2000

AUTHOR: TSD 2000
TITLE: Text, speech and dialogue: third international workshop, TSD 2000, Brno, Czech Republic, September 13-16, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .N38 T47 2000

AUTHOR: UML (Conference)
TITLE: UML 2000--the Unified Modeling Language: advancing the standard : third international conference, York, UK, October 2-6, 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: QA76.9 .O35 U45 2000

AUTHOR: USM 2000
TITLE: Trends in distributed systems: towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: QA76.9 .D5 U86 2000

AUTHOR: Weihrauch, K.
TITLE: An introduction ot computable analysis /
IMPRINT: New York : Springer, c2000.
CALL: QA9.59 .W46 2000

AUTHOR: Wesseling, Pieter,
TITLE: Principles of computational fluid dynamics /
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA911 .W35 2001

AUTHOR: Willmot, Gordon E.,
TITLE: Lundberg approximations for compound distributions with insurance applications /
IMPRINT: New York : Springer, 2001.
CALL: HG8781 .W55 2001

AUTHOR: Workshop on Languages, Compilers and Run-Time Systems for Scalable Computers
TITLE: Languages, compilers, and run-time systems for scalable computers: 5th international workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.7 .W67 2000

New books by month received