New Math Books in the Engineering & Science Library

The Logica Yearbook, 2008 / Michal Peliš, editor.  London: College Publications, 2009.  QA9.A1I59A 2008

Introduction to the Mathematics of Satisfiability / Victor W. Marek.  Boca Raton, FL: CRC Press, 2009.  QA9.3.M37 2009

Introduction to Mathematical Proofs : A Transition / Charles E. Roberts, Jr.  Boca Raton, FL: CRC Press, 2009.  QA9.54.R63 2009

Genetic Algorithms and Genetic Programming : Modern Concepts and Practical Applications / Michael Affenzeller, et al.  Boca Raton, FL: CRC Press, 2009.  QA9.58.G46 2009

Stable Domination and Independence in Algebraically Closed Valued Fields / Deirdre Haskell, Ehud Hrushovski, and Dugald Macpherson.  Cambridge, UK: Cambridge, 2008.  QA9.7.H377 2008

Symbolic Logic and the Game of Logic : Two Books Bound As One / Lewis Carroll.  Mineola, NY: Dover, [first published in] 1958.  QA95.D6

Topics in Topological Graph Theory (Encyclopedia of Mathematics and Its Applications 128) / Edited by Lowell W. Beineke et al.  Cambridge, UK: Cambridge, 2009.  QA166.195.T66 2009

Spectral Analysis of Large Dimensional Random Matrices, 2nd ed. / Zhidong Bai and Jack W. Silverstein.  New York: Springer, 2010.  QA 188.B33 2010.

Interactive Graphics for Data Analysis : Principles and Examples / Martin Theus and Simon Urbanek.  Boca Raton, FL:  CRC Press, 2009.  QA276.3.T54 2009

Multiple Correspondence Analysis / Brigitte Le Roux and Henry Rouanet.  Los Angeles:  Sage, 2010.  QA278.5.L4 2010

Mathematical Analysis : A Concise Introduction / Bernd S. W. Schröder.  Hoboken, NJ: John Wiley, 2008.  QA300.S376 2008

Mathematical Scattering Theory : Analytic Theory / D.R. Yafaev.  Providence, RI: American Mathematical Society, 2009.  QA329.I24 2009

Numerical Methods for Special Functions / Amparo Gil, Javier Segura, and Nico M. Temme.  Philadelphia: SIAM, 2007.  QA351.G455 2007

The Immersed Interface Method : Numerical Solutions of PDEs Involving Interfaces and Irregular Domains / Zhilin Li and Kazufumi Ito.  Philadelphia: SIAM, 2006.  QA374.L42 2006

Boundary Control of PDEs : A Course on Backstepping Designs / Miroslav Krstic and Andrey Smyshlyaev.  Philadelphia: SIAM, 2008.  QA402.3.K738 2008

Combinatorial Optimization : Algorithms and Complexity / Christos H. Papadimitriou and Kenneth Steiglitz.  Mineola, NY: Dover, 1998.  QA402.5.P37 1998

Potential Theory and Dynamics on the Berkovich Projective Line / Matthew Baker and Robert Rumely.  Providence, RI: American Mathematical Society, 2010.  QA404.7.B35 2010

Invitation to Topological Robotics / Michael Farber.  Zurich: European Mathematical Society, 2008.  QA611.3.F37 2008

Continuum Mechanics for Engineers, 3rd ed. / G. Thomas Mase, Ronald E. Smelser, and George E. Mase.  Boca Raton, FL: CRC Press, 2010.  QA808.2.M364 2010


About matthewm53
I'm a Senior Engineering & Science Librarian at Carnegie Mellon University.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: