At a glance

Mathematics & Statistics Library

Math & Statistics Library new books received in July 2001

New books by month received

AUTHOR: Ada-Europe International Conference on Reliable Software Technologies
TITLE: Reliable software technologies--Ada-Europe 2001 :6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.73 .A16 A23 2001

AUTHOR: Adams, Jeffrey.
TITLE: Representation theory of Lie groups
IMPRINT: Providence, RI. : American Mathematical Society, 2000.
CALL: QA387 .R457 2000

AUTHOR: Agha, Gul A.
TITLE: Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.64 .C6353 2001

AUTHOR: Alfsen, Erik M.
TITLE: State spaces of operator algebras :basic theory, orientations and C*-products
IMPRINT: Boston : Birkhèauser, c2001.
CALL: QA326 .A43 2001

AUTHOR: Anderson, Ian,
TITLE: A first course in discrete mathematics
IMPRINT: London ; New York : Springer, c2001.
CALL: QA39.2 .A533 2000

AUTHOR: Arendt, Wolfgang.
TITLE: Vector-valued Laplace transforms and Cauchy problems
IMPRINT: Basel ; Boston : Birkhèauser Verlag, c2001.
CALL: QA432 .V43 2001

AUTHOR: Atkinson, Kendall E.
TITLE: Theoretical numerical analysis :a functional analysis framework
IMPRINT: New York : Springer, c2001.
CALL: QA320 .A85 2001

AUTHOR: Austern, Matthew H.
TITLE: Generic programming and the STL :using and extending the C++ Standard Template Library
IMPRINT: Reading, Mass. : Addison-Wesley, c1999.
CALL: QA76.73 .C153 A97 1999

AUTHOR: Back, Ralph-Johan.
TITLE: Refinement calculus :a systematic introduction
IMPRINT: New York : Springer, c1998.
CALL: QA76.6 .B28 1998

AUTHOR: Bæadescu, Lucian.
TITLE: Algebraic surfaces
IMPRINT: New York : Springer, c2001.
CALL: QA571 .B3213 2001

AUTHOR: Barrett, Daniel J.
TITLE: SSH, the secure shell :the definitive guide
IMPRINT: Sebastopol, CA : O'Reilly, 2001.
CALL: QA76.76 .O63 B369 2001

AUTHOR: Bartle, Robert Gardner,
TITLE: Solutions manual to A modern theory of integration
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA312 .B323 2001

AUTHOR: Belti÷tæa, Daniel,
TITLE: Lie algebras of bounded operators
IMPRINT: Basel ; Boston : Birkhèauser Verlag, c2001.
CALL: QA252.3 .B45 2001

AUTHOR: Blake, Andrew,
TITLE: Active contours :the application of techniques from graphics, vision, control theory and statistics to visual tracking of shapes in motion
IMPRINT: London ; New York : Springer, c1998.
CALL: TA1634 .B48 1998

AUTHOR: Blanck, Jens.
TITLE: Computability and complexity in analysis :4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA299.6 .C6585 2001

AUTHOR: Boltëiìanskiæi, V. G.
TITLE: Intuitive combinatorial topology
IMPRINT: New York : Springer-Verlag, c2001.
CALL: QA612 .B65 2001

AUTHOR: Boyce, William E.
TITLE: Elementary differential equations and boundary value problems
IMPRINT: New York : Wiley, 2001.
CALL: QA371 .B773 2001

AUTHOR: Broy, M.,
TITLE: Specification and development of interactive systems :focus on streams, interfaces, and refinement
IMPRINT: New York : Springer, c2001.
CALL: QA76.758 .B783 2001

AUTHOR: Brudnyi, Yuri.
TITLE: Function spaces, interpolation spaces, and related topics
IMPRINT: Ramat-Gan, Israel : Gelbart Research Institute for Mathematical Sciences, and Emmy Noether Research Institute of Mathematics, Bar-Ilan University, c1999.
CALL: QA1 .I9 V.13

AUTHOR: Burden, Richard L.
TITLE: Numerical analysis
IMPRINT: Australia ; Pacific Grove, CA : Brooks/Cole, c2001.
CALL: QA297 .B84 2001

AUTHOR: Caffarelli, Luis A.
TITLE: Hyperbolic equations and frequency interactions
IMPRINT: Providence, R.I. : American Mathematical Society, Institute for Advanced Study, c1999.
CALL: QC381 .H96 1999

AUTHOR: Caliânski, T.
TITLE: Block designs :a randomization approach
IMPRINT: New York : Springer, c2000-
CALL: QA279 .C35 2000

AUTHOR: Campione, Mary.
TITLE: The Java tutorial :object-oriented programming for the Internet
IMPRINT: Reading, Mass. : Addison-Wesley, c1998.
CALL: QA76.64 .C35 1998 DISC

AUTHOR: Canadian Society for Computational Studies of Intelligence. Conference
TITLE: Advances in artificial intelligence :14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: Q334 .C3 2001

AUTHOR: Christofides, Panagiotis D.
TITLE: Nonlinear and robust control of PDE systems :methods and applications to transport-reaction processes
IMPRINT: Boston : Birkhèauser, c2001.
CALL: QA402.35 .C48 2001

AUTHOR: Comon, Hubert.
TITLE: Constraints in computational logics :theory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA74.6 .C6515 1999

AUTHOR: Conference for African-American Researchers in the Mathematical Sciences
TITLE: Council for African American Researchers in the Mathematical Sciences.
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA1 .C6253 1999

AUTHOR: Conlon, Lawrence,
TITLE: Differentiable manifolds
IMPRINT: Boston : Birkhèauser, c2001.
CALL: QA614.3 .C66 2001

AUTHOR: Crandall, Richard E.,
TITLE: Prime numbers :a computational perspective
IMPRINT: New York : Springer, c2001.
CALL: QA246 .C74 2001

AUTHOR: Crapo, Henry H.
TITLE: Algebraic combinatorics and computer science :a tribute to Gian-Carlo Rota.
IMPRINT: Milano ; New York : Springer, c2001.
CALL: QA164 .A44 2001

AUTHOR: Damgêard, I. B. (Ivan Bjerre).
TITLE: Lectures on data security :modern cryptology in theory and practice
IMPRINT: Berlin ; New York : Springer, c1999.
CALL: QA76.9 .A25 L46 1999

AUTHOR: Date, C. J.
TITLE: An introduction to database systems
IMPRINT: Reading, Mass. : Addison-Wesley, c2000.
CALL: QA76.9 .D3 D37 2000

AUTHOR: Deitsch, Andrew.
TITLE: Java internationalization
IMPRINT: Sebastopol, CA : O'Reilly, 2001.
CALL: QA76.73 .J38 D45 2001

AUTHOR: Dittrich, Klaus R.
TITLE: Component database systems
IMPRINT: San Francisco : Morgan Kaufmann Publishers, c2001.
CALL: QA76.9 .D3 C65 2001

AUTHOR: Dudley, R. M.
TITLE: Differentiability of six operators on nonsmooth functions and p-variation
IMPRINT: Berlin ; London : Springer, c1999.
CALL: QA3 .L28 V.1703

AUTHOR: Duke, David J.,
TITLE: PREMO :a framework for multimedia middleware : specification, rationale, and Java binding
IMPRINT: Berlin ; New York : Springer, c1999.
CALL: QA76.575 .D85 1999

AUTHOR: Dumke, Reiner.
TITLE: Performance engineering :state of the art and current trends
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .E94 P425 2001

AUTHOR: Dunkl, Charles F.,
TITLE: Orthogonal polynomials of several variables
IMPRINT: Cambridge ; New York : Cambridge University Press, 2001.
CALL: QA404.5 .D86 2001

AUTHOR: Eckel, Bruce.
TITLE: Thinking in C++
IMPRINT: Upper Saddle River, N.J. : Prentice Hall, c2000-
CALL: QA76.73 .C153 E247 2000 V.1 DISC

AUTHOR: Eckel, Bruce.
TITLE: Thinking in Java
IMPRINT: Upper Saddle River, NJ : Prentice Hall, 2000.
CALL: QA76.73 .J38 E25 2000

AUTHOR: ECMAST '99
TITLE: Multimedia applications, services and techniques, ECMAST '99 : 4th European Conference, Madrid, Spain, May 26-28, 1999 : proceedings
IMPRINT: Berlin ; New York : Springer, c1999.
CALL: QA76.575 .E254 1999

AUTHOR: EUROCRYPT 2001.
TITLE: Advances in cryptology :EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings
IMPRINT: Berlin : London : Springer, c2001.
CALL: QA76.9 .A25 E964 2001

AUTHOR: European Summer School in Information Retrieval
TITLE: Lectures on information retrieval :Third European Summer-School, ESSIR 2000 Varenna, Italy, September 11-15, 2000, revised lectures
IMPRINT: Berlin : London : Springer, c2001.
CALL: ZA4060 .E87 2000

AUTHOR: EuropGP 2001
TITLE: Genetic programming :4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.623 .G45 2001

AUTHOR: Everitt, Brian S.
TITLE: Applied multivariate data analysis.
IMPRINT: London : Arnold ; New York : Co-published by Oxford University Press, 2001.
CALL: QA278 .E88 2001

AUTHOR: EvoWorkshops 2000
TITLE: Real-world applications of evolutionary computing : EvoWorkshops 2000 : EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight, Edinburgh, Scotland, UK, April 2000 : proceedings
IMPRINT: New York : Springer, 2000.
CALL: QA76.618 .E899 2000

AUTHOR: EvoWorkshops
TITLE: Applications of evolutionary computing :EvoWorkshops 2001 : EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM : Como, Italy, April 18-20, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.618 .E899 2001

AUTHOR: Faber, C. (Carel).
TITLE: Moduli of Abelian varieties
IMPRINT: Basel [Switzerland] ; Boston : Birkhèauser Verlag, c2001.
CALL: QA564 .M64 2001

AUTHOR: Faugeras, Olivier,
TITLE: The geometry of multiple images :the laws that govern the formation of multiple images of a scene and some of their applications
IMPRINT: Cambridge, Mass. : MIT Press, c2001.
CALL: TA1637 .F39 2001

AUTHOR: Fischer-Hèubner, Simone.
TITLE: IT-security and privacy :design and use of privacy-enhancing security mechanisms
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .A25 F5336 2001

AUTHOR: Frappat, L.
TITLE: Dictionary on lie algebras and superalgebras
IMPRINT: San Diego, Calif. : Academic Press, c2000.
CALL: QC20.7 .L54 F73 2000

AUTHOR: Friedman, Daniel P.
TITLE: Essentials of programming languages
IMPRINT: Cambridge, Mass. : MIT Press, c2001.
CALL: QA76.7 .F73 2001

AUTHOR: Fu, Y. B. (Yibin B.).
TITLE: Nonlinear elasticity :theory and applications
IMPRINT: Cambridge, U.K. ; New York : Cambridge University Press, 2001.
CALL: QA931 .N585 2001

AUTHOR: Gaul, W. (Wolfgang).
TITLE: Data analysis :scientific modeling and practical application
IMPRINT: Berlin [Germany] ; New York : Springer, c2000.
CALL: QA276 .A1 D37 2000

AUTHOR: Gelernter, David Hillel.
TITLE: Machine beauty :elegance and the heart of technology
IMPRINT: New York : Basic Books, c1998.
CALL: QA76.9 .H85 G46 1998

AUTHOR: Girden, Ellen R.
TITLE: Evaluating research articles from start to finish
IMPRINT: Thousand Oaks, Calif. : Sage Publications, c2001.
CALL: Q180.55 .E9 G57 2001

AUTHOR: Graff, Jon.
TITLE: Cryptography and e-commerce :a Wiley tech brief
IMPRINT: New York : John Wiley, 2001.
CALL: QA76.9 .A25 G68 2001

AUTHOR: Graham, Gordon,
TITLE: The Internet :a philosophical inquiry
IMPRINT: London ; New York : Routledge, 1999.
CALL: TK5105.875 .I57 G72 1999

AUTHOR: Greenlees, J. P. C. (John Patrick Campbell).
TITLE: Homotopy methods in algebraic topology :proceedings of an AMS-IMS-SIAM, joint summer research conference, University of Colorado, Boulder, June 20-24, 1999
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA612 .H66 1999

AUTHOR: Grillet, Pierre A.
TITLE: Algebra
IMPRINT: New York : Wiley, c1999.
CALL: QA154.2 .G736 1999

AUTHOR: Grune, Dick.
TITLE: Modern compiler design
IMPRINT: Chichester ; New York : Wiley, 2000.
CALL: QA76.76 .C65 M64 2000

AUTHOR: Hamel, J. A. van
TITLE: Algebraic cycles and topology of real algebraic varieties
IMPRINT: Amsterdam : Centrum voor Wiskunde en Informatica, 2000.
CALL: QA612 .H35 2000

AUTHOR: Hanne, Thomas.
TITLE: Intelligent strategies for meta multiple criteria decision making
IMPRINT: Boston : Kluwer Academic, c2001.
CALL: T57.95 .H36 2001

AUTHOR: Harold, Elliotte Rusty.
TITLE: XML in a nutshell :a desktop quick reference
IMPRINT: Sebastopol, CA : O'Reilly, c2001.
CALL: QA76.76 .H94 H36 2001

AUTHOR: Harris, Richard J.
TITLE: A primer of multivariate statistics
IMPRINT: Mahwah, N.J. : Lawrence Erlbaum Associates, 2001.
CALL: QA278 .H35 2001

AUTHOR: He, Tian-Xiao,
TITLE: Dimensionality reducing expansion of multivariate integration
IMPRINT: Boston : Birkhèauser, c2001.
CALL: QA299.3 .H4 2001

AUTHOR: Helmreich, Stefan,
TITLE: Silicon second nature :culturing artificial life in a digital world
IMPRINT: Berkeley, Calif. : University of California Press, c1998.
CALL: QH324.2 .H45 1998

AUTHOR: Horst, Reiner.
TITLE: Introduction to global optimization
IMPRINT: Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
CALL: QA402.5 .H673 2000

AUTHOR: HSCC'98
TITLE: Hybrid systems :computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings
IMPRINT: Berlin ; New York : Springer, 1998.
CALL: QA76.38 .H73 1998

AUTHOR: Hsu, Elton P.
TITLE: Probability theory and applications
IMPRINT: Providence, R.I. : American Mathematical Society : Institute for Advanced Study, c1999.
CALL: QA273 .A1 P768 1999

AUTHOR: Hull, John,
TITLE: Options, futures & other derivatives
IMPRINT: Upper Saddle River, NJ : Prentice Hall, c2000.
CALL: HG6024 .A3 H85 2000

AUTHOR: IEEE Southwest Symposium on Image Analysis and Interpretation
TITLE: 1998 IEEE Southwest Symposium on Image Analysis and Interpretation :April 5-7, 1998, Tucson, Arizona, U.S.A.
IMPRINT: Piscataway, New Jersey : IEEE, c1998.
CALL: TA1637 .I33 1998

AUTHOR: IEEE Southwest Symposium on Image Analysis and Interpretation
TITLE: 4th IEEE Southwest Symposium on Image Analysis and Interpretation :proceedings, 2-4 April 2000, Austin, Texas
IMPRINT: Los Alamitos, calif. : IEEE Computer Society, c2000.
CALL: TA1637 .I33 2000

AUTHOR: Intel Corporation.
TITLE: IA-64 application developer's architecture guide.
IMPRINT: [Santa Clara, Calif.] : Intel Corporation, c1999.
CALL: QA76.9 .A73 I2 1999

AUTHOR: International Conference on Applications of Natural Language to Information Systems
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
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.9 .N38 I558 2000

AUTHOR: International Conference on Artificial Intelligence and Symbolic Mathematical Computation
TITLE: Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000, revised papers
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: Q334 .I553 2000

AUTHOR: International Conference on Intelligent User Interfaces
TITLE: IUI 2001 :2001 International Conference on Intelligent User Interfaces, Santa Fe, New Mexico, USA, January 14-17, 2001
IMPRINT: New York, N.Y. : ACM Press, c2001.
CALL: QA76.9 .H85 I599 2001

AUTHOR: International Conference on Topology
TITLE: Tel Aviv Topology Conference :Rothenberg festschrift : International Conference on Topology, June 1-5, 1998, Tel Aviv
IMPRINT: Providence, R.I. : American Mathematical Society, c1999.
CALL: QA611 .A1 T486 1998

AUTHOR: International Conference on Typed Lambda Calculi and Applications
TITLE: Typed lambda calculi and applications :5th international conference, TLCA 2001, Krakâow, Poland, May 2-5, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA9.5 .I58 2001

AUTHOR: International Conference on Vector and Parallel Processing-Systems and Applications
TITLE: Vector and parallel processing--VECPAR 2000 :4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.58 .I552 2000

AUTHOR: International SPIN Workshop
TITLE: Model checking software :8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.76 .V47 I58 2001

AUTHOR: International Workshop on DNA-Based Computers
TITLE: DNA computing :6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, the Netherlands, June 13-17, 2000 : revised papers
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.887 .I58 2000

AUTHOR: International Workshop on Multi-Media Database Management Systems
TITLE: Multi-media database management systems :International Workshop on Multi-Media Database Management Systems : proceedings : August 5-7, 1998, Dayton, Ohio
IMPRINT: Los Alamitos, California : IEEE Computer Society Press, c1998.
CALL: QA76.575 .I66 1998

AUTHOR: International Workshop on the Implementation of Functional Languages
TITLE: Implementation of functional languages :12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.62 .I58 2000

AUTHOR: International Workshop on Theoretical Foundations of Computer Vision
TITLE: Multi-image analysis :10th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, March 12-17, 2000 : revised papers
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: TA1637 .I557 2000

AUTHOR: International Workshop on Visual Form
TITLE: Visual form 2001 :4th International Workshop on Visual Form, IWVF4, Capri, Italy, May 28-30, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: TA1637 .I56 2001

AUTHOR: Iorio Jr., Rafael Josâe
TITLE: Fourier analysis and partial differential equations
IMPRINT: Cambridge ; New York : Cambridge University Press, 2001.
CALL: QA403.5 .I57 2001

AUTHOR: ISEC 2001
TITLE: Electronic commerce technologies :second international symposium, ISEC 2001, Hong Kong, China, April 26-28, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: HF5548.32 .I84 2001

AUTHOR: Jacod, Jean.
TITLE: Probability essentials
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA273 .J26 2000

AUTHOR: Jansen, Maarten.
TITLE: Noise reduction by wavelet thresholding
IMPRINT: New York : Springer, c2001.
CALL: TK5102.9 .J36 2001

AUTHOR: Jeffrey, Alan.
TITLE: Handbook of mathematical formulas and integrals.
IMPRINT: San Diego : Academic Press, c2000.
CALL: QA47 .J38 2000

AUTHOR: Jost, Jèurgen,
TITLE: Bosonic strings :a mathematical treatment
IMPRINT: Providence, RI : American Mathematical Society : International Press, c2001.
CALL: QC794.6 .S5 J67 2001

AUTHOR: Kaufmann, Michael.
TITLE: Drawing graphs :methods and models
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: T385 .D715 2001

AUTHOR: Keel, Seâan
TITLE: Rational curves on quasi-projective surfaces
IMPRINT: Providence, RI : American Mathematical Society, 1999.
CALL: QA3 .A57 NO.669

AUTHOR: Koike, Kazuhiko.
TITLE: Combinatorial methods in representation theory
IMPRINT: Tokyo : Published for the Mathematical Society of Japan by Kinokuniya, c2000.
CALL: QA1 .A3 V.28

AUTHOR: Lam, Kwok Yan.
TITLE: Cryptography and computational number theory
IMPRINT: Basel [Switzerland] ; Boston : Birkhèauser Verlag, c2001.
CALL: QA268 .C77 2001

AUTHOR: Lang, Serge,
TITLE: Collected papers
IMPRINT: New York : Springer, c2000-c2001.
CALL: QA7 .L288 2000 V.1

AUTHOR: Liu, Jiming.
TITLE: E-commerce agents :marketplace solutions, security issues, and supply and demand
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: HF5548.32 .E182 2001

AUTHOR: LOPSTR 2000
TITLE: Logic based program synthesis and transformation :10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.63 .L57 2000

AUTHOR: Lounesto, Pertti.
TITLE: Clifford algebras and spinors
IMPRINT: Cambridge, U.K. ; New York : Cambridge University Press, 2001.
CALL: QA199 .L68 2001

AUTHOR: Machines, Computations, and Universality
TITLE: Machines, Computations, and Universality :third international conference, MCU 2001 : Chiðsinéau, Moldova, May 23-27 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA267 .M33 2001

AUTHOR: Mallat, S. G.
TITLE: A wavelet tour of signal processing.
IMPRINT: San Diego : Academic Press, c1999.
CALL: TK5102.9 .M34 1999

AUTHOR: McPherson, Glen.
TITLE: Applying and interpreting statistics :a comprehensive guide
IMPRINT: New York : Springer, c2001.
CALL: Q180.55 .S7 M36 2001

AUTHOR: MMM-ACNS 2001
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
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .A25 M65 2001

AUTHOR: Mockus, Jonas.
TITLE: A set of examples of global and discrete optimization : applications of Bayesian Heuristic Approach
IMPRINT: Dordrecht ; Boston : Kluwer Academic, c2000.
CALL: QA402.5 .M585 2000

AUTHOR: Moore, John D.
TITLE: Lectures on Seiberg-Witten invariants
IMPRINT: New York : Springer, 2001.
CALL: QA3 .L28 V.1629 2001

AUTHOR: Morita, S.
TITLE: Geometry of characteristic classes
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA613.618 .M67 2001

AUTHOR: Murthy, C. Siva Ram.
TITLE: Resource management in real-time systems and networks
IMPRINT: Cambridge, Mass. : MIT Press, c2001.
CALL: QA76.54 .M87 2001

AUTHOR: Murugesan, San.
TITLE: Web engineering :managing diversity and complexity of Web application development
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: TK5105.888 .W3725 2001

AUTHOR: Nedelec, Jean-Claude.
TITLE: Acoustic and electromagnetic equations :integral representations for harmonic problems
IMPRINT: New York : Springer, c2001.
CALL: QA927 .N38 2001

AUTHOR: Nehaniv, Chrystopher L.
TITLE: Computation for metaphors, analogy, and agents
IMPRINT: Berlin ; New York : Springer, c1999.
CALL: Q335 .C555 1999

AUTHOR: Nishino, Toshio.
TITLE: Function theory in several complex variables
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA331.7 .N5713 2001

AUTHOR: O'Neill, Eamonn.
TITLE: User-developer cooperation in software development :building common ground and usable systems.
IMPRINT: London : Springer, c2001.
CALL: QA76.76 .D47 O54 2001

AUTHOR: Oonincx, P. J.
TITLE: Mathematical signal analysis :wavelets, Wigner distributions and a seismic application
IMPRINT: Amsterdam : Centrum voor Wiskunde en Informatica, 2000.
CALL: QA403.3 .O66 2000

AUTHOR: Pacific-Asia Conference on Knowledge Discovery and Data Mining
TITLE: Advances in knowledge discovery and data mining :5th Pacific-Asia Conference, PAKDD 2001, Hong Kong, China, April 16-18, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.9 .D3 P17 2001

AUTHOR: PADO 2001
TITLE: Programs as data objects :Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.751 .P76 2001

AUTHOR: Pande, Santosh.
TITLE: Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.76 .C65 C665 2001

AUTHOR: Papalambros, Panos Y.
TITLE: Principles of optimal design :modeling and computation
IMPRINT: Cambridge, [England] ; New York : Cambridge University Press, 2000.
CALL: QA402.5 .P374 2000

AUTHOR: Pauli, Josef.
TITLE: Learning-based robot vision :principles and applications
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: TJ211.3 .P38 2001

AUTHOR: Piccaluga, G.
TITLE: Sol-Gel preparation and characterization of metal-silica and metal oxide-silica nanocomposites.
IMPRINT: Uetikon-Zuerich, Switzerland ; Enfield, N.H. : Trans Tech Publications, c2000.
CALL: TP810.5 .S65 2000

AUTHOR: Pickover, Clifford A.
TITLE: Wonders of numbers :adventures in mathematics, mind, and meaning
IMPRINT: Oxford ; New York : Oxford University, 2001.
CALL: QA95 .P53 2001

AUTHOR: Poizat, Bruno.
TITLE: Stable groups
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA3 .A4 V.87

AUTHOR: POLICY 2001
TITLE: Policies for distributed systems and networks :international workshop, POLICY 2001, Bristol, UK, January 29-31, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .D5 P63 2001

AUTHOR: Pourahmadi, Mohsen.
TITLE: Foundations of time series analysis and prediction theory
IMPRINT: New York : Wiley, c2001.
CALL: QA280 .P68 2001

AUTHOR: Prokhorov, Yu. V.
TITLE: Limit theorems of probability theory
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA273.76 .L56 2000

AUTHOR: Rasmusen, Eric.
TITLE: Games and information :an introduction to game theory
IMPRINT: Malden, Mass. : Blackwell, 2001.
CALL: QA269 .R37 2001

AUTHOR: Reinartz, Thomas.
TITLE: Focusing solutions for data mining :analytical studies and experimental results in real-world domains
IMPRINT: Berlin ; New York : Springer, c1999.
CALL: QA76.9 .D343 R45 1999

AUTHOR: Ribenboim, Paulo.
TITLE: Classical theory of algebraic numbers
IMPRINT: New York : Springer, c2001.
CALL: QA247 .R465 2001

AUTHOR: Robichaux, Paul E.
TITLE: Managing the Windows 2000 registry
IMPRINT: Sebastopol, CA ; Cambridge, Mass. : O'Reilly, c2000.
CALL: QA76.76 .O63 R6226 2000

AUTHOR: RoboCup 2000
TITLE: RoboCup 2000 :Robot Soccer World Cup IV
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: TJ210.3 .R6153 2000

AUTHOR: Romanovsky, Alexander.
TITLE: Advances in exception handling techniques
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.76 .D47 A375 2001

AUTHOR: RSA Conference
TITLE: Topics in cryptology, CT-RSA 2001 :the Cryptographers' Track at RSA Conference 2001, San Francisco, CA, USA, April 8-12, 2001 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .A25 R753 2001

AUTHOR: RTA 2001.
TITLE: Rewriting techniques and applications :12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
IMPRINT: Berlin : London : Springer, c2001.
CALL: QA267 .I555 2001

AUTHOR: SAC '2000
TITLE: Selected areas in cryptography :7th annual international workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000 : proceedings
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .A25 S22 2000

AUTHOR: Samarskiæi, A. A.
TITLE: The theory of difference schemes
IMPRINT: New York : Marcel Dekker, c2001.
CALL: QA431 .S2213 2001

AUTHOR: Sampath, S.
TITLE: Sampling theory and methods
IMPRINT: Boca Raton [Fla.] : CRC Press ; New Delhi [India] : Narosa Pub. House, c2001.
CALL: QA276.6 .S333 2001

AUTHOR: Scharstein, Daniel.
TITLE: View synthesis using stereo vision
IMPRINT: New York : Springer, 1999.
CALL: TA1634 .S32 1999

AUTHOR: Schneider, Leo J.
TITLE: The contest problem book VI :American high school mathematics examinations 1989-1994
IMPRINT: Washington, DC : Mathematical Association of America, c2000.
CALL: QA43 .C66 2000

AUTHOR: Schumacher, Michael,
TITLE: Objective coordination in multi-agent system engineering : design and implementation
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.76 .I58 S38 2001

AUTHOR: Sharp, R. Y.
TITLE: Steps in commutative algebra
IMPRINT: Cambridge, UK ; New York : Cambridge University Press, 2000.
CALL: QA251.3 .S53 2000

AUTHOR: Sigal, Israel Michael.
TITLE: Nonlinear dynamics and renormalization group
IMPRINT: Providence, R.I. : American Mathematical Society, 2001.
CALL: QC20.7 .R43 N66 2001

AUTHOR: Sloane, Andy.
TITLE: Multimedia Internet broadcasting :quality, technology, and interface
IMPRINT: London ; New York : Springer, c2001.
CALL: QA76.575 .M83329 2001

AUTHOR: Szpankowski, Wojciech,
TITLE: Average case analysis of algorithms on sequences
IMPRINT: New York : John Wiley, c2001.
CALL: QA76.9 .A43 S87 2001

AUTHOR: Tanenbaum, Andrew S.,
TITLE: Modern operating systems
IMPRINT: Upper Saddle River, N.J. : Prentice Hall, c2001.
CALL: QA76.76 .O63 T359 2001

AUTHOR: Toledo, Hugo.
TITLE: Oracle Net8 configuration and troubleshooting
IMPRINT: Sebastopol, CA : O'Reilly, c2001.
CALL: QA76.9 .D3 T65 2001

AUTHOR: Trentelman, H. L.
TITLE: Control theory for linear systems
IMPRINT: London ; New York : Springer, c2001.
CALL: QA402.3 .T69 2001

AUTHOR: Tulloch, Mitch.
TITLE: Windows 2000 administration in a nutshell :a desktop quick reference
IMPRINT: Sebastopol, CA : O'Reilly, c2001.
CALL: QA76.76 .O63 T85 2001

AUTHOR: Turaev, V. G.
TITLE: Introduction to combinatorial torsions
IMPRINT: Basel, Switzerland ; Boston : Birkhèauser, c2001.
CALL: QA613 .T87 2001

AUTHOR: Van Harmelen, Mark.
TITLE: Object modeling and user interface design
IMPRINT: Boston : Addison-Wesley, c2001.
CALL: QA76.9 .O35 O24 2001

AUTHOR: Villarreal, Rafael H.,
TITLE: Monomial algebras
IMPRINT: New York : M. Dekker, c2001.
CALL: QA155 .V55 2001

AUTHOR: Wang, Paul P.
TITLE: Computing with words
IMPRINT: New York : Wiley, 2001.
CALL: QA76.9 .N38 C654 2001

AUTHOR: Web3D Symposium
TITLE: Proceedings, 2001 Web3D Symposium :Paderborn, Germany, February 19-22, 2001
IMPRINT: New York, N.Y. : Association for Computing Machinery, c2001.
CALL: QA76.76 .H94 S95 2001

AUTHOR: Winter Simulation Conference
TITLE: 2000 Winter Simulation Conference proceedings :Wyndham Palace Resort & Spa, Orlando, FL, U.S.A., 10-13 December, 2000
IMPRINT: New York, NY : Association for Computing Machinery Computer Simulation International, c2000.
CALL: QA76.5 .W56 2000

AUTHOR: Wooldridge, Michael J.
TITLE: Artificial intelligence today :recent trends and developments
IMPRINT: Berlin ; New York : Springer, c1999.
CALL: Q335 .A7871445 1999

AUTHOR: Workshop on Approximation Algorithms for Combinatorial Optimization Problems
TITLE: Approximation algorithms for combinatorial optimization :third international workshop, APPROX 2000, Saarbrèucken, Germany, September 5-8, 2000 : proceedings
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .A43 W67 2000

AUTHOR: Workshop on Approximation Algorithms for Combinatorial Optimization Problems
TITLE: Approximation algorithms for combinatorial optimization : International Workshop, APPROX '98, Aalborg, Denmark, July 18-19, 1998 : proceedings
IMPRINT: Berlin ; New York : Springer, c1998.
CALL: QA76.9 .A43 A65 1998

AUTHOR: Ying, Mingsheng.
TITLE: Topology in process calculus :approximate correctness and infinite evolution of concurrent programs
IMPRINT: New York : Springer, c2001.
CALL: QA76.58 .Y56 2001

AUTHOR: Zhang, Xiang-Sun.
TITLE: Neural networks in optimization
IMPRINT: Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
CALL: QA402.5 .Z4 2000

AUTHOR: Zhidkov, Peter E.
TITLE: Korteweg-de Vries and nonlinear Schrèodinger equations : qualitative theory
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA3 .L28 V.1756

New books by month received