Collections

New Books Received in May 2004

AUTHOR: Ablowitz, Mark J.
TITLE: Discrete and continuous nonlinear Schrödinger systems / M.J. Ablowitz, B. Prinari, A.D. Trubatch.
IMPRINT: Cambridge, UK ; New York : Cambridge University Press, 2004.
CALL: QC174.26 .W28 A26 2004

AUTHOR: Ahlfors, Lars Valerian, 1907-
TITLE: Complex analysis; an introduction to the theory of analytic functions of one complex variable [by] Lars V. Ahlfors.
IMPRINT: New York, McGraw-Hill [1966]
CALL: QA331 .A45 1966

AUTHOR: Aichernig, Bernhard K., 1969-
TITLE: Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers / Bernhard K. Aichernig, Tom Maibaum (eds.).
IMPRINT: New York : Springer-Verlag, 2003.
CALL: QA76.758 F67 2003

AUTHOR: Alsina, Montserrat, 1966-
TITLE: Quaternion orders, quadratic forms, and Shimura curves / Montserrat Alsina, Pilar Bayer.
IMPRINT: Providence, R.I. : American Mathematical Society, c2004.
CALL: QA196 .A47 2004

AUTHOR: Antreich, K. (Kurt)
TITLE: Modeling, simulation, and optimization of integrated circuits : proceedings of a conference held at the Mathematisches Forschungsinstitut, Oberwolfach, November 25-December 1, 2001 / K. Antreich ... [et al.], editors.
IMPRINT: Boston, MA : Birkhauser Verlag, 2003.
CALL: QA297 .I5 V.146

AUTHOR: APPT 2003 (2003 : Xiamen, Xiamen Shi, China)
TITLE: Advanced parallel processing technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003 : proceedings / Xingming Zhou ... [et al.].
IMPRINT: Berlin ; New York : Springer-Verlag, c2003.
CALL: QA76.642 .A67 2003

AUTHOR: ARCS 2004 (2004 : Augsburg, Germany)
TITLE: Organic and pervasive computing--ARCS 2004 : International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004 : proceedings / Christian Müller-Schloer, Theo Ungerer, Bernhard Bauer (eds.).
IMPRINT: New York : Springer-Verlag, 2004.
CALL: QA76.9 .A73 A736 2004

AUTHOR: Attiya, Hagit.
TITLE: Distributed computing : fundamentals, simulations and advanced topics / Hagit Attiya, Jennifer Welch.
IMPRINT: Hoboken, N.J. : Wiley-Interscience, c2004.
CALL: QA76.9 .D5 A75 2004

AUTHOR: Auscher, Pascal.
TITLE: Heat kernels and analysis on manifolds, graphs, and metric spaces : lecture notes from a quarter program on heat kernels, random walks, and analysis on manifolds and graphs: April 16-July 13, 2002, Emile Borel Centre of the Henri Poincaré Institute, Paris, France / Pascal Auscher, Thierry Coulhon, Alexander Grigor’yan, editors.
IMPRINT: Providence, R.I. : American Mathematical Society, c2003.
CALL: QA377 .H43 2003

AUTHOR: Barnett, Richard H.
TITLE: Embedded C programming and the microchip PIC / Richard Barnett, Larry O'Cull, Sarah Cox.
IMPRINT: Clifton Park, NY : Thomson/Delmar Learning, c2004.
CALL: QA76.73 .C15 B368 2004

AUTHOR: Bayoumi, Aboubakr.
TITLE: Foundations of complex analysis in non loCALLy convex spaces : funtion theory without convexity condition / by A. Bayoumi.
IMPRINT: Amsterdam : North-Holland, 2003.
CALL: QA331.7 .B39 2003

AUTHOR: Benjamin, Arthur T.
TITLE: Proofs that really count : the art of combinatorial proof / Arthur T. Benjamin and Jennifer J. Quinn.
IMPRINT: [Washington, D.C.] : Mathematical Association of America, c2003
CALL: QA164 .N46 2003

AUTHOR: Berndt, Antje.
TITLE: Estimating the term structure of credit spreads : Callable corporate debt / Antje Berndt.
IMPRINT: 2003.
CALL: 3781 2003 B

AUTHOR: Bhanu, Bir.
TITLE: Computational algorithms for fingerprint recognition / by Bir Bhanu, Xuejun Tan.
IMPRINT: Boston : Kluwer Academic Publishers, c2004.
CALL: TK7882 .B56 B43 2004

AUTHOR: Biegler, Lorenz T.
TITLE: Large-scale PDE-constrained optimization / Lorenz T. Biegler ... [et al.], editors.
IMPRINT: Berlin ; New York : Springer, 2003.
CALL: QA402.5 .L358 2003

AUTHOR: Bisseling, Rob H.
TITLE: Parallel scientific computation : a structured approach using BSP and MPI / Rob H. Bisseling.
IMPRINT: New York : Oxford University Press, 2004.
CALL: QA76.58 .B57 2004

AUTHOR: Bistarelli, Stefano, 1968-
TITLE: Semirings for soft constraint solving and programming / Stefano Bistarelli.
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.612 .B57 2004

AUTHOR: Bolc, Leonard, 1934-
TITLE: Many-valued logics / Leonard Bolc, Piotr Borowik.
IMPRINT: Berlin ; New York : Springer-Verlag, c1992-2003.
CALL: QA9.45 .B65 1992 V.2

AUTHOR: Bolsinov, A. V. (Aleksei Viktorovich)
TITLE: Integrable Hamiltonian systems : geometry, topology, classification / A.V. Bolsinov and A.T. Fomenko.
IMPRINT: Boca Raton, Fla. : Chapman & Hall/CRC, c2004.
CALL: QA614.83 .B6413 2004

AUTHOR: Boyd, Stephen P.
TITLE: Convex optimization / Stephen Boyd, Lieven Vandenberghe.
IMPRINT: Cambridge, UK ; New York : Cambridge, 2004.
CALL: QA402.5 .B69 2004

AUTHOR: Breugel, Franck van, 1966-
TITLE: Mathematical techniques for analyzing concurrent and probabilistic systems / J.J.M.M. Rutten ... [et al.] ; Prakash Panangaden, Franck van Breugel, editors.
IMPRINT: Providence, R.I. : American Mathematical Society, c2004.
CALL: QA402 .M3594 2004

AUTHOR: Brüggemann, Ralf, 1972-
TITLE: Model reduction methods for vector autoregressive processes / Ralf Brüggemann.
IMPRINT: New York : Springer, 2004.
CALL: HB141 .B79 2004

AUTHOR: Burroughs Corporation. Publication 1042462.
TITLE: Burroughs B5500 Information Processing Systems: Master Control Program. Reference Manual.
IMPRINT: 1969.
CALL: 008348

AUTHOR: Butler, Dorothy Dedo, 1939-
TITLE: Data system design and control using AUTOSATE, an automated data system analysis technique / by D.D. Butler, E.M. Fairbrother and O.T. Gatto.
IMPRINT: Santa Monica, Calif. : Rand Corp., 1964 ; Alexandria, Va. : [Reproduced by Defense Documentation Center for Scientific and Technical Information, 1979]
CALL: QA76.5 .B985 1979

AUTHOR: Cabanes, Marc, 1959-
TITLE: Representation theory of finite reductive groups / Marc Cabanes, Michel Enguehard.
IMPRINT: Cambridge ; New York : Cambridge University Press, 2004.
CALL: QA177 .C33 2004

AUTHOR: Campbell, H. E. A. Eddy (Harold Edward Alexander Eddy), 1954-
TITLE: Invariant theory in all characteristics / H.E.A. Eddy Campbell, David L. Wehlau, editors.
IMPRINT: Providence, R.I. : American Mathematical Society, c2004.
CALL: QA201 .I62 2004

AUTHOR: Chang, Kyong-Sok.
TITLE: Efficient algorithms for articulated branching mechanisms: dynamic modeling, control, and simulation / Chang, Kyong-Sok.
IMPRINT: 2000.
CALL: 3781 2000 C

AUTHOR: Chrusciel, Piotr T.
TITLE: On mapping properties of the general relativistic constraints operator in weighted function spaces, with applications / Piotr T. Chrusciel, Erwann Delay.
IMPRINT: Paris : Société mathématique de France, c2003.
CALL: N.S. NO.94

AUTHOR: CICLing 2004 (2004 : Seoul, Korea)
TITLE: Computational linguistics and intelligent text processing : 5th international conference, CICLing 2004, Seoul, Korea, February 15-21, 2004 : proceedings / Alexander Gelbukh
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.9 .T48 I54 2004

AUTHOR: Conference on Geometry and Topology (3rd : 1996 : Harvard University)
TITLE: Surveys in differential geometry : lectures on Geometry and Topology held at Harvard University, May 3-5, 1996 / sponsored by Lehigh University ; edited by C.C. Hsiung, S.-T. Yau.
IMPRINT: Cambridge, MA : International Press, c1998.
CALL: QA641 .C615 1996

AUTHOR: Cryptographers' Track at RSA Conference (4th : 2004 : San Francisco, Calif.)
TITLE: Topics in cryptology--CT-RSA 2004 : the Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004 : proceedings / Tatsuaki Okamoto (ed.).
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.9 .A25 R753 2004

AUTHOR: Cucker, Felipe, 1958-
TITLE: Foundations of computational mathematics : Minneapolis, 2002 / edited by Felipe Cucker ... [et al.].
IMPRINT: Cambridge, U.K. ; New York, NY : Cambridge University Press, 2004.
CALL: QA297 .F6347 2004

AUTHOR: DBISP2P 2003 (2003 : Berlin, Germany)
TITLE: Databases, information systems, and peer-to-peer computing : First International Workshop, DBISP2P 2003 : Berlin, Germany, September 7-8, 2003 : revised papers / Karl Aberer, Manolis Koubarakis, Vana Kalogeraki (eds.)
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: TK5105.525 .D35 2003

AUTHOR: De Souza, Paulo Ney.
TITLE: Berkeley problems in mathematics / Paulo Ney de Souza, Jorge-Nuno Silva.
IMPRINT: New York : Springer, c2004.
CALL: QA43 .D38 2004

AUTHOR: Dewdney, A. K.
TITLE: Beyond reason : eight great problems that reveal the limits of science / A.K. Dewdney.
IMPRINT: Hoboken, N.J. : John Wiley, c2004.
CALL: Q173 .D49 2004

AUTHOR: Diagrams 2004 (2004 : Cambridge, England)
TITLE: Diagrammatic representation and inference : third international conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004 : proceedings / Alan Blackwell, Kim Marriott, Atsushi Shimojima, eds.
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA90 .D53 2004

AUTHOR: Druet, Olivier, 1976-
TITLE: Blow-up theory for elliptic PDEs in Riemannian geometry / Olivier Druet, Emmanuel Hebey, Frédéric Robert.
IMPRINT: Princeton, N.J. : Princeton University Press, c2004.
CALL: QA315 .D78 2004

AUTHOR: Duren, Peter L., 1935-
TITLE: Harmonic mappings in the plane / Peter Duren.
IMPRINT: Cambridge, UK ; New York : Cambridge University Press, 2004.
CALL: QA614.73 .D87 2004

AUTHOR: Durrett, Richard, 1951-
TITLE: Probability : theory and examples.
IMPRINT: Belmont, CA : Thomson/Brooks/Cole, c2005.
CALL: QA273 .D865 2005

AUTHOR: Ehrig, Hartmut.
TITLE: Petri net technology for communication-based systems : advances in Petri nets / Hartmut Ehrig ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: TK5105.5 .P49 2003

AUTHOR: Elworthy, K. D.
TITLE: On the geometry of diffusion operators and stochastic flows / D. Elworthy, Y. Le Jan, X-M. Li.
IMPRINT: New York : Springer, 1999.
CALL: QA3 .L28 V.1720

AUTHOR: Erbschloe, Michael.
TITLE: Implementing homeland security for enterprise IT / Michael Erbschloe.
IMPRINT: Burlington, MA : Digital Press, c2004.
CALL: QA76.9 .A25 E74 2004

AUTHOR: Focardi, Riccardo, 1970-
TITLE: Foundations of security analysis and design II : FOSAD 2001/2002 turorial lectures / Riccardo Focardi, Roberto Gorrieri (eds.).
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.9 .A25 F68 2004

AUTHOR: FoIKS 2004 (2004 : Vienna, Austria)
TITLE: Foundations of information and knowledge systems : third international symposium, FoIKS 2004, Wilhe[l]minenburg Castle, Austria, February 17-20, 2004 : proceedings / Dietmar Seipel, José María Turull-Torres (eds.).
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA75.5 .F65 2004

AUTHOR: Fresnel, Jean.
TITLE: Rigid analytic geometry and its applications / Jean Fresnel, Marius van der Put.
IMPRINT: Boston : Birkhäuser, c2004.
CALL: QA331 .F7765 2004

AUTHOR: Gabbay, Dov M., 1945-
TITLE: Many-dimensional modal logics : theory and applications / D.M. Gabbay ... [et al.].
IMPRINT: Amsterdam ; Boston : Elsevier North Holland, 2003.
CALL: BC199 .M6 M37 2003

AUTHOR: Gallot, S. (Sylvestre), 1948-
TITLE: Riemannian geometry / Sylvestre Gallot, Dominique Hulin, Jacques Lafontaine.
IMPRINT: Berlin ; New York : Springer-Verlag, c1990.
CALL: QA649 .G35 1990

AUTHOR: Gandibleux, Xavier.
TITLE: Metaheuristics for multiobjective optimisation / Xavier Gandibleux ... [et al.], editors.
IMPRINT: New York, N.Y. : Springer, 2004.
CALL: Z6654 .M28 M48 2004

AUTHOR: GC 2003 (2003 : Rovereto, Italy)
TITLE: Global computing : programming environments, languages, security, and analysis of systems : IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers / Corrado Priami (ed.).
IMPRINT: New York : Springer, 2003.
CALL: QA76.6 .G373 2003

AUTHOR: Giaquinta, Mariano, 1947-
TITLE: Mathematical analysis : approximation and discrete processes / Mariano Giaquinta, Giuseppe Modica.
IMPRINT: Boston : Birkhäuser, c2004.
CALL: QA300 .G49713 2004

AUTHOR: Giesbrecht, Francis G., 1935-
TITLE: Planning, construction, and statistical analysis of comparative experiments / Francis G. Giesbrecht, Marcia L. Gumpertz.
IMPRINT: Hoboken, N.J. : Wiley, c2004.
CALL: QA279 .G52 2004

AUTHOR: Gil, Juan, 1968-
TITLE: Aspects of boundary problems in analysis and geometry / Juan Gil, Thomas Krainer, Ingo Witt, editors.
IMPRINT: Boston : Birkhäuser Verlag, 2004.
CALL: QA379 .A84 2004

AUTHOR: Gil’, M. I. (Mikhail Iosifovich)
TITLE: Operator functions and localization of spectra / Michael I. Gil’.
IMPRINT: Berlin; New York : Springer-Verlag, 2003.
CALL: QA3 .L28 V.1830

AUTHOR: Giri, Narayan C., 1928-
TITLE: Multivariate statistical analysis / Narayan C. Giri.
IMPRINT: New York : Marcel Dekker, c2004.
CALL: QA278 .G557 2004

AUTHOR: Goldman, Malcolm, 1929-
TITLE: Introduction to probability and statistics.
IMPRINT: New York, Harcourt, Brace & World [1970]
CALL: QA273 .G623 1970

AUTHOR: Golumbic, Martin Charles.
TITLE: Tolerance graphs.
IMPRINT: Cambridge ; New York : Cambridge University Press, 2004.
CALL: QA166 .G65 2004

AUTHOR: Green, David J.
TITLE: Gröbner bases and the computation of group cohomology / David J. Green.
IMPRINT: Berlin ; New York : Springer-Verlag, 2003.
CALL: QA3 .L28 V.1828

AUTHOR: Greenwald, Rick.
TITLE: Oracle essentials : Oracle Database 10g.
IMPRINT: Sebastopol, CA : O'Reilly, c2004.
CALL: QA76.9 .D3 G74 2004

AUTHOR: Gross, Donald.
TITLE: Fundamentals of queueing theory / Donald Gross, Carl M. Harris.
IMPRINT: New York : Wiley, c1998.
CALL: T57.9 .G76 1998

AUTHOR: Harper, Lawrence H. (Lawrence Hueston), 1938-
TITLE: Global methods for combinatorial isoperimetric problems / L.H. Harper.
IMPRINT: Cambridge ; New York : Cambridge University Press, 2004.
CALL: QA402.5 .H375 2004

AUTHOR: Havil, Julian, 1952-
TITLE: Gamma : exploring Euler’s constant / Julian Havil.
IMPRINT: Princeton : Princeton University Press, c2003.
CALL: QA41 .H23 2003

AUTHOR: Hawryszkiewycz, I. T.
TITLE: Introduction to systems analysis and design / Igor Hawryszkiewycz.
IMPRINT: Sydney ; New York : Prentice Hall, c1998.
CALL: T57.6 .H39 1998

AUTHOR: Head, Thomas J., 1934-
TITLE: Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday / Nataša Jonoska, Gheorghe Paun, Grzegorz Rozenberg (eds.).
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.887 .A78 2004

AUTHOR: Hirvensalo, Mika, 1972-
TITLE: Quantum computing / Mika Hirvensalo.
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.889 .H57 2004

AUTHOR: Hoffman, A. J. (Alan Jerome), 1924-
TITLE: Selected papers of Alan Hoffman with commentary / edited by Charles Micchelli.
IMPRINT: River Edge, N.J. : World Scientific, c2003.
CALL: QA164 .H64 2003

AUTHOR: HSCC 2004 (2004 : Philadelphia, Pa.)
TITLE: Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings / Rajeev Alur, George J. Pappas (eds.).
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.38 .H73 2004

AUTHOR: IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (16th : 2004 : Oxford, England)
TITLE: Testing of communicating systems : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings / Roland Groz, Robert M. Hierons (eds.).
IMPRINT: Berlin ; New York : Springer-Verlag, c2004.
CALL: TK1501 .A1 I333 2004

AUTHOR: International ACM SIGGROUP Conference on Supporting Group Work (2003 : Sanibel Island, Fla.)
TITLE: Group ’03 : proceedings of the 2003 International ACM SIGGROUP Conference on Supporting Group Work : November 9-12, 2003, Sundial Resort on Sanibel Island, Florida, USA / Mark Pendergast ... [et al.], editors.
IMPRINT: New York, N.Y. : Association for Computing Machinery, c2003.
CALL: T14.5 .I68 2003

AUTHOR: International Conference in Algebraic Topology (2001 : Isle of Skye, Scotland)
TITLE: Categorical decomposition techniques in algebraic topology : International Conference in Algebraic Topology, Isle of Skye, Scotland, June 2001 / Gregory Arone ...
IMPRINT: Basel, Switzerland ; Boston : Birkhäuser Verlag, c2004.
CALL: QA612 .I55 2001

AUTHOR: International Conference on Architectural Support for Programming Languages and Operating Systems (10th : 2002 : San Jose, Calif.)
TITLE: ASPLOS-X proceedings : Tenth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, October 5-9, 2002.
IMPRINT: New York, NY : Association for Computing Machinery, c2002.
CALL: QA76.9 .A73 I565 2002

AUTHOR: International Conference on Database Systems for Advanced Applications (9th : 2004 : Cheju-do, Korea)
TITLE: Database systems for advanced applications : 9th international conference, DASFAA 2004, Jeju Island, Korea, March 17-19, 2004 : proceedings / YoonJoon Lee ... [et al.] eds.
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.9 .D3 I384 2004

AUTHOR: International Conference on Designing Pleasurable Products and Interfaces (2003 : Pittsburgh, Pa.)
TITLE: DPPI : proceedings of the International Conference on Designing Pleasurable Products and Interfaces : June 23-26, 2003, Pittsburgh, Pennsylvania, USA / sponsored by ACM & SIGCHI ; with additional support from the School of Design & the School of Computer Science at Carnegie Mellon University, Contemporary Trends Institute & MAYA Design.
IMPRINT: New York : Association for Computing Machinery, 2003.
CALL: QA76.9 .H85 I58 2003

AUTHOR: International Conference on Dynamical Systems (2000 : Rio de Janeiro, Brazil)
TITLE: Geometric methods in dynamics : volume in honor of Jacob Palis / edited by Welington de Melo, Marcelo Viana, Jean-Christophe Yoccoz.
IMPRINT: Paris : Société Mathématique de France, 2003.
CALL: QA1 .A78 V.286

AUTHOR: International Conference on Dynamical Systems (2000 : Rio de Janeiro, Brazil)
TITLE: Geometric methods in dynamics : volume in honor of Jacob Palis / edited by Welington de Melo, Marcelo Viana, Jean-Christophe Yoccoz.
IMPRINT: Paris : Société Mathématique de France, 2003.
CALL: QA1 .A78 V.286

AUTHOR: International Conference on Extending Database Technology (9th : 2004 : H¯erakleion, Greece)
TITLE: Advances in database technology-EDBT 2004 : 9th International Conference on Extending Database Technology : H¯erakleion, Crete, Greece, March 14-18, 2004 : proceedings / Elisa Bertino ... [et al.].
IMPRINT: Berlin ; New York : Springer-Verlag, c2004.
CALL: QA76.9 .D3 I55844 2004

AUTHOR: International SPIN Workshop (11th : 2004 : Barcelona, Spain)
TITLE: Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.76 .V47 I58 2004

AUTHOR: International SPIN Workshop (11th : 2004 : Barcelona, Spain)
TITLE: Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.76 .V47 I58 2004

AUTHOR: International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)
TITLE: Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA448 .D38 I577 2002

AUTHOR: International Workshop on Networked Group Communication (5th : 2003 : Munich, Germany)
TITLE: Group communications and charges : technology and business models : 5th COST 264 International Workshop on Networked Group Communications, NGC 2003 and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, Munich, Germany, September 16-19, 2003 : proceedings / Burkhard Stiller ... [et al.] (eds.).
IMPRINT: New York : Springer, 2003.
CALL: TK5105.887 .I58 2003

AUTHOR: International Workshop on Practice and Theory in Public Key Cryptography (7th : 2004 : Singapore)
TITLE: Public key cryptography - PKC 2004 : 7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004 : proceedings / Feng , Robert Deng, Jianying Zhou (eds.).
IMPRINT: Berlin ; New York : Springer-Verlag, c2004.
CALL: QA76.9 .A25 I567 2004

AUTHOR: iTrust 2004 (2004 : Oxford, England)
TITLE: Trust management : second international conference, iTrust 2004, Oxford, UK, March 29-April 1, 2004 : proceedings / Christian Jensen, Stefan Poslad, Theo Dimitrakos (eds.).
IMPRINT: Berlin ; New York : Springer, 2004.
CALL: QA76.76 .R44 I38 2004

AUTHOR: IVA 2003 (2003 : Kloster Irsee, Germany)
TITLE: Intelligent virtual agents : 4th International Workshop, IVA 2003, Kloster Irsee, Germany, September 15-17, 2003 : proceedings / Thomas Rist ... [et al.], (Eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.9 .C65 I93 2003

AUTHOR: IWAN 2003 (2003 : Kyoto, Japan)
TITLE: Active networks / IFIP TC6 5th International Workshop, IWAN 2003, Kyoto, Japan, December 2003, revised papers ; Naoki Wakamiya, Marcin Solarski, James Sterbenz, eds.
IMPRINT: New York : Springer, 2004.
CALL: TK5105.5 .I95 2004

AUTHOR: IWDW 2003 (2003 : Seoul, Korea)
TITLE: Digital watermarking : second international workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003 : revised papers / Ton Kalker, Ingemar J. Cox, Yong Man Ro (eds.).
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.9 .A25 I89 2003

AUTHOR: IWLCS 2002 (2002 : Granada, Spain)
TITLE: Learning classifier systems : 5th international workshop, IWLCS 2002, Granada, Spain, September 2002 : revised papers / Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (eds.).
IMPRINT: New York : Springer, c2003.
CALL: Q325.5 .A344 2002

AUTHOR: Kakutani, Shizuo, 1911-
TITLE: Selected papers / Shizuo Kakutani ; Robert R. Kallman, editor.
IMPRINT: Boston : Birkhäuser, 1986.
CALL: QA3 .K3525 1986 V.1

AUTHOR: Kay, Michael R., 1962-
TITLE: The Web wizard’s guide to Flash / Michael R. Kay.
IMPRINT: Boston : Addison-Wesley, c2003.
CALL: TR897.7 .K39 2003

AUTHOR: Klösgen, Willi.
TITLE: Handbook of data mining and knowledge discovery / edited by Willi Klösgen and Jan M. Zytkow.
IMPRINT: Oxford ; New York : Oxford University Press 2002.
CALL: QA76.9 .D343 H39 2002

AUTHOR: Kokot, Stefan, 1970-
TITLE: The econometrics of sequential trade models : theory and applications using highfrequency data / Stefan Kokot.
IMPRINT: Berlin ; New York : Springer-Verlag, 2004.
CALL: HG106 .K65 2004

AUTHOR: Krantz, Steven G. (Steven George), 1951-
TITLE: A mathematician’s survival guide : graduate school and early career development / Steven G. Krantz.
IMPRINT: Providence, R.I. : American Mathematical Society, c2003.
CALL: QA10.5 .K73 2003

AUTHOR: Krekó, Béla.
TITLE: Linear programming; translated [from the German] by J. H. L. Ahrens and Carolyn M. Safe.
IMPRINT: London, Pitman, 1968.
CALL: QA265 .K6713

AUTHOR: Kuipers, Jack B., 1921-
TITLE: Quaternions and rotation sequences : a primer with applications to orbits, aerospace, and virtual reality / Jack B. Kuipers.
IMPRINT: Princeton, N.J. : Princeton University Press, c1999.
CALL: QA196 .K85 1999

AUTHOR: Laplante, Phillip A.
TITLE: Real-time systems design and analysis / Phillip A. Laplante.
IMPRINT: Hoboken, N.J. : Wiley ; Piscataway, NJ : IEEE Press, c2004.
CALL: QA76.54 .L37 2004

AUTHOR: Latin American Symposium on Theoretical Informatics (6th : 2004 : Buenos Aires, Argentina)
TITLE: Latin 2004 : theoretical informatics : 6th Latin American symposium, Buenos Aires, Argentina, April 5-8, 2004 : proceedings / Martin Farach-Colton, ed.
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA75.5 .L348 2004

AUTHOR: Lewy, Hans, 1904-
TITLE: Hans Lewy selecta / David Kinderlehrer, editor.
IMPRINT: Boston : Birkhäuser, c2002.
CALL: QA377 .L45 2002 V.1

AUTHOR: Lewy, Hans, 1904-
TITLE: Hans Lewy selecta / David Kinderlehrer, editor.
IMPRINT: Boston : Birkhäuser, c2002.
CALL: QA377 .L45 2002 V.2

AUTHOR: Loehlin, John C.
TITLE: Latent variable models : an introduction to factor, path, and structural equation analysis/ John C. Loehlin.
IMPRINT: Mahwah, N.J. : L. Erlbaum Associates, 2004.
CALL: QA278.6 .L64 2004

AUTHOR: MABS 2003 (2003 : Melbourne, Vic.)
TITLE: Multi-agent-based simulation III : 4th international workshop, MABS 2003, Melbourne, Australia, July 14, 2003 : revised papers / David Hales ... [et al.]. (eds.).
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA76.76 .I58 M32 2003

AUTHOR: Marchette, David J.
TITLE: Random graphs for statistical pattern recognition / David J. Marchette.
IMPRINT: Hoboken, N.J. : Wiley-Interscience, c2004.
CALL: QA166.17 .M37 2004

AUTHOR: McDuff, Dusa, 1945-
TITLE: J-holomorphic curves and symplectic topology / Dusa McDuff, Dietmar Salamon.
IMPRINT: Providence, R.I. : American Mathematical Society, c2004.
CALL: QA1 .A5225 V.52

AUTHOR: Menini, Claudia.
TITLE: Abstract algebra : a comprehensive treatment.
IMPRINT: New York : M. Dekker, c2004.
CALL: QA162 .M46 2004

AUTHOR: Moore, Froda, Léger
TITLE: Mathematical statistics and applications : Festschrift for Constance van Eeden.
IMPRINT: Beachwood, Ohio : Institute of Mathematical Statistics ; Montreal : Centre de Recherches Mathématiques, c2003.
CALL: QA276 .A1 M38 2003

AUTHOR: Mosses, Peter.
TITLE: CASL reference manual : the complete documentation of the Common Algebraic Specification Language / Peter D. Mosses (ed.).
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.73 .C158 C37 2004

AUTHOR: Müller, T. W. (Thomas Wolfgang), 1957-
TITLE: Groups : topological, combinatorial and arithmetic aspects / edited by T.W. Müller.
IMPRINT: Cambridge, UK ; New York : Cambridge University Press, 2004.
CALL: QA174.2 .G763 2004

AUTHOR: Müller-Stach, Stefan, 1962-
TITLE: Transcendental aspects of algebraic cycles : proceedings of the Grenoble Summer School, 2001 / edited by S. Müller-Stach and C. Peters.
IMPRINT: Cambridge, UK ; New York : Cambridge University Press, 2004.
CALL: QA564 .T73 2004

AUTHOR: Muñoz Quevedo, José M.
TITLE: Topología básica / José M. Muñoz Quevedo.
IMPRINT: Bogotá, D.C., Colombia : Academia de Ciencias Exactas, Físicas y Naturales, 2003.
CALL: QA611 .M83 2003

AUTHOR: Murch, Richard.
TITLE: Autonomic computing / Richard Murch.
IMPRINT: Upper Saddle River, N.J. : Prentice Hall PTR, c2004.
CALL: QA76.9 .A97 M97 2004

AUTHOR: Navarro González, Juan A., 1956-
TITLE: C [infinity]-differentiable spaces / Juan A. Navarro González, Juan B. Sancho de Salas.
IMPRINT: Berlin ; New York : Springer-Verlag, 2003.
CALL: QA3 .L28 V.1824

AUTHOR: Pal, Sankar K.
TITLE: Foundations of soft case-based reasoning / Sankar K. Pal, Simon C.K. Shiu.
IMPRINT: Hoboken, N.J. : Wiley-Interscience, c2004.
CALL: QA76.9 .S63 P335 2004

AUTHOR: Paris C. Kanellakis Memorial Workshop (2003 : San Diego, Calif.)
TITLE: PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 / sponsored by ACM Special Interest Group for Automata and Computing Theory (SIGACT), ACM Special Interest Group on Management of Data (SIGMOD).
IMPRINT: New York : Association for Computing Machinery, c2003.
CALL: QA75.5 .P28 2003

AUTHOR: Perrin, Dominique.
TITLE: Infinite words : automata, semigroups, logic and games
IMPRINT: Amsterdam ; San Diego : Elsevier Academic Press, 2004
CALL: QA267 .P47 2004

AUTHOR: Post, Emil Leon, 1897-1954.
TITLE: Solvability, provability, definability : the collected works of Emil L. Post / Martin Davis, editor.
IMPRINT: Boston : Birkhäuser, 1994.
CALL: QA3 .P78 1994

AUTHOR: RASTA 2002 (2002 : Bologna, Italy)
TITLE: Regulated agent-based social systems : first international workshop, RASTA 2002, Bologna, Italy, July 16, 2002 : revised selected and invited papers / Gabriela Lindemann, Daniel Moldt, Mario Paolucci (eds.).
IMPRINT: Berlin ; New York : Springer-Verlag, c2004.
CALL: HM701 .R37 2002

AUTHOR: Rees, Mary.
TITLE: Views of parameter space : topographer and resident / Mary Rees.
IMPRINT: Paris : Société mathématique de France, 2003.
CALL: QA1 .A78 V.288

AUTHOR: Riolo, Rick.
TITLE: Genetic programming theory and practice / edited by Rick Riolo, Bill Worzel.
IMPRINT: Boston : Kluwer Academic, c2003.
CALL: QA76.623 .G48 2003

AUTHOR: Rota, Gian-Carlo, 1932-
TITLE: Gian-Carlo Rota on analysis and probability : selected papers and commentaries / Jean Dhombres, Joseph P.S. Kung, Norton Starr, editors.
IMPRINT: Boston : Birkhäuser, c2003.
CALL: QA300.5 .R67 2003

AUTHOR: Rudin, Walter, 1921-
TITLE: Functional analysis / Walter Rudin.
IMPRINT: New York : McGraw-Hill, c1991.
CALL: QA320 .R83 1991

AUTHOR: Runkel, Marco, 1971-
TITLE: Environmental and resource policy for consumer durables / Marco Runkel.
IMPRINT: Berlin ; New York : Springer, 2004.
CALL: TS171 .A1 R86 2004

AUTHOR: Salomon, D. (David), 1938-
TITLE: Data compression the complete reference / David Salomon.
IMPRINT: New York : Springer, c2004.
CALL: QA76.9 .D33 S25 2004

AUTHOR: Saltelli, A. (Andrea), 1953-
TITLE: Sensitivity analysis in practice : a guide to assessing scientific models / Andrea Saltelli... [et al.].
IMPRINT: Chichester ; Hoboken, NJ : Wiley, c2004.
CALL: QA402.3 .S453 2004

AUTHOR: Sarfraz, Muhammad.
TITLE: Advances in geometric modeling.
IMPRINT: Chichester, West Sussex ; Hoboken, NJ : John Wiley, c2003.
CALL: QA447 .A38 2003

AUTHOR: Sattinger, David H.
TITLE: Topics in stability and bifurcation theory [by] David H. Sattinger.
IMPRINT: Berlin, New York, Springer-Verlag, 1973.
CALL: QA3 .L28 V.309

AUTHOR: Schmitt, Susanne.
TITLE: Elliptic curves : a computational approach / Susanne Schmitt, Horst G. Zimmer ; with an appendix by Attila Pethö.
IMPRINT: Berlin ; New York : Walter de Gruyter, c2003.
CALL: QA567.2 .E44 S35 2003

AUTHOR: Schweitzer, Marc Alexander.
TITLE: A parallel multilevel partition of unity method for elliptic partial differential equations / Marc Alexander Schweitzer.
IMPRINT: Berlin ; New York : Springer, c2003.
CALL: QA377 .S395 2003

AUTHOR: Sebesta, Robert W.
TITLE: Concepts of programming languages / Robert W. Sebesta.
IMPRINT: Boston : Pearson/Addison-Wesley, c2004.
CALL: QA76.7 .S43 2004

AUTHOR: Sekanina, Luká~s.
TITLE: Evolvable components : from theory to hardware implementations.
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.618 .S45 2004

AUTHOR: Snowdon, David N.
TITLE: Inhabited information spaces : living with your data.
IMPRINT: London ; New York : Springer, c2004.
CALL: QA76.9 .H85 I54 2004

AUTHOR: Speed, T. P.
TITLE: Statistics and science : a festschrift for Terry Speed / Darlene R. Goldstein, editor.
IMPRINT: Beachwood, Ohio : Institute of Mathematical Statistics, c2003.
CALL: Q180.55 .S7 S726 2003

AUTHOR: Stroud, A. H.
TITLE: Gaussian quadrature formulas [by] A.H. Stroud [and] Don Secrest.
IMPRINT: Englewood Cliffs, N.J., Prentice-Hall [1966]
CALL: QA299.4 .G3 S7

AUTHOR: Symposium on singularities (1st : 1969-1970 : Liverpool, England)
TITLE: Proceedings of Liverpool singularities. Symposium 1 / Ed. by C.T.C. Wall, ...
IMPRINT: Berlin ; New-York : Springer-Verlag, 1971.
CALL: QA3 .L28 V.192

AUTHOR: TACAS 2004 (2004 : Barcelona, Spain)
TITLE: Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.).
IMPRINT: New York : Springer-Verlag, 2004.
CALL: QA76.9 .S88 T33 2004

AUTHOR: Teilhet, Stephen.
TITLE: C# cookbook.
IMPRINT: Sebastopol, CA : O'Reilly, c2004.
CALL: QA76.73 .C154 T45 2004

AUTHOR: Temam, Roger.
TITLE: Turbulence and Navier Stokes equations : proceedings of the conference held at the University of Paris-Sud, Orsay, 12-13 June 1975 / edited by Roger Temam.
IMPRINT: Berlin ; New York : Springer-Verlag, 1976.
CALL: QA3 .L28 V.565

AUTHOR: Terng, Chuu-lian, 1949-
TITLE: Surveys in differential geometry: integral systems : lectures on geometry and topology, sponsored by Lehigh University’s Journal of differential geometry / edited by Chuu Lian Terng, Karen Uhlenbeck.
IMPRINT: [Cambridge, Mass.] : International Press, [c1998].
CALL: QA641 .S842 1998

AUTHOR: Uhlmann, Gunther, 1952-
TITLE: Inside out : inverse problems and applications / edited by Gunther Uhlmann.
IMPRINT: Cambridge ; New York, NY : Cambridge University Press, c2003.
CALL: QA371 .I529 2003

AUTHOR: USENIX Technical Conference (1997 : Anaheim, Calif.)
TITLE: USENIX 1997 Annual Technical Conference and USELINUX : invited talks, submitted notes.
IMPRINT: [Berkeley, Calif.] : USENIX Association, 1997.
CALL: QA76.76 .O63 U84 1997

AUTHOR: US-Japan Seminar "Operator Algebras and Applications" (1999 : Ky¯ush¯u University)
TITLE: Operator algebras and applications / edited by Hideki Kosaki.
IMPRINT: Tokyo : Mathematical Society of Japan ; [Providence, R.I.] : Distributed in North America by the American Mathematical Society, c2004.
CALL: QA1 .A3 V.38

AUTHOR: VMCAI 2004 (2004 : Venice, Italy)
TITLE: Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.76 .V47 V53 2004

AUTHOR: Voisin, C. (Claire)
TITLE: Théorie de Hodge et géométrie algébrique complexe / Claire Voisin.
IMPRINT: Paris : Société Mathématique de France, 2002.
CALL: QA564 .V655 2002

AUTHOR: WAOA 2003 (2003 : Budapest, Hungary)
TITLE: Approximation and online algorithms : first international workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003 : revised papers / Jansen, Klaus , Roberto Solis-Oba (eds.).
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.9 .A43 W42 2003

AUTHOR: West, David.
TITLE: Object thinking.
IMPRINT: Redmond, Wash. : Microsoft Press, c2004.
CALL: QA76.64 .W47 2004

AUTHOR: Wickless, W. J.
TITLE: A first graduate course in abstract algebra.
IMPRINT: New York : Marcel Dekker, c2004.
CALL: QA162 .W53 2004

AUTHOR: Workshop on Algebraic Geometry and Geometric Modeling (2002 : Vilnius University)
TITLE: Topics in algebraic geometry and geometric modeling : Workshop on Algebraic Geometry and Geometric Modeling, July 29-August 2, 2002, Vilnius University, Vilnius, Lithuania / Ron Goldman, Rimvydas Krasauskas, editors.
IMPRINT: Providence, R.I. : American Mathematical Society, c2003.
CALL: QA565 .W76 2002

AUTHOR: Workshop on Languages and Compilers for Parallel Computing (16th : 2003 : College Station, Tex.)
TITLE: Languages and compilers for parallel computing : 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003 : revised papers / Lawrence Rauchwerger (ed.).
IMPRINT: Berlin ; New York : Springer, 2004.
CALL: QA76.7 .L38 2003

AUTHOR: Wu, Bang Ye.
TITLE: Spanning trees and optimization problems / Bang Ye Wu, Kun-Mao Chao.
IMPRINT: Boca Raton, Fla. : Chapman & Hall/CRC, c2004.
CALL: QA166.2 .W8 2004

AUTHOR: Zhang, Zili, Ph.D.
TITLE: Agent-based hybrid intelligent systems : an agent-based fromework for complex problem solving / Zili Zhang, Chengqi Zhang
IMPRINT: Berlin ; New York : Springer, c2004.
CALL: QA76.76 .I58 Z43 2004

New Books List Archive