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

New Physics Books in the Engineering & Science Library

Mathematics for Physics : A Guided Tour for Graduate Students / Michael Stone and Paul Goldbart.  Cambridge, UK: Cambridge, 2009.  QC20.S76 2009

Flux-Corrected Transport : Principles, Algorithms, and Applications / D. Kuzmin, R Löhner, and S. Turek, Eds.  Berlin: Springer, 2005.  QC20.7.T73F58 2005

Superstrings and Other Things : A Guide to Physics, 2nd ed. / Carlos I. Calle.  Boca Raton, FL: CRC Press, 2010.  QC21.3.C35 2010

Modern Physics for Scientists and Engineers / John C. Morrison.  Amsterdam: Elsevier, 2010.  QC21.3.M67 2010

Quasicrystals / T. Fujiwara and Y. Ishii, eds.  Amsterdam: Elsevier, 2008.  QC173.4.Q36Q37X 2008

Statistical Mechanics : An Elementary Outline, revised ed. / Avijit Lahiri.  Himayatnagar, Hyderabad: Universities Press, 2009.  QC174.8.L34X 2009

Advances in Heat Transfer, Volume 41 / Edited by George A. Greene, Young I Cho, and Avram Bar-Cohen.   Amsterdam : Elsevier, 2009.  QC320.A1A3 VOL. 41 2009

Synthesis Lectures on Quantum Computing Taking Shape

The University Libraries has been purchasing the e-lecture collections from Synthesis Digital Library which is published by Morgan & Claypool.  The Synthesis Digital Library is arranged in series – one of which is the Synthesis Lectures on Quantum Computing.  The titles already in the collection are:

  • Broadband Quantum Cryptography
    Daniel J. Rogers
  • Quantum Computer Science
    Marco Lanzagorta, JeffreyUhlmann
  • Quantum Walks for Computer Scientists
    Salvador Elías Venegas-Andraca

Lectures under development are:

  • Algebraic Quantum Information Theory
    Keye Martin
    Naval Research Labs
  • Quantum Simulators
    Salvador Elias Venegas-Andraca and Jose Gomez-Munoz
    Tecnológico de Monterrey Campus Estado de México
  • Relativistic Quantum Information
    Paul Alsing
    Air Force Research Labs

New Math Books in the Engineering & Science Library

Computer manual in MATLAB to accompany Pattern classification, 2nd ed / David G. Stork and Elad Yom-Tov.   Hoboken, NJ: John Wiley, 2004.  Q327.S76 2004

A Course in Mathematical Logic for Mathematicians, 2nd ed / Yu. I. Manin.  New York:  Springer, 2010.  QA9.M29613 2010

Logic’s Lost Genius : The Life of Gerhard Gentzen / Eckart Menzler-Trott.  Providence, RI: American Mathematical Society, 2007.  QA29.G467M46 2007

Introduction to the Theory of Graph Spectra / Dragoš Cvetković, Peter Rowlinson, and Slobodan Simić.  Cambridge, UK: Cambridge, 2010.  QA166.C835X 2010

Linear Algebra, 2nd ed / Larry Smith.  New York:  Springer, 1984.  QA184.S63 1984

Conceptual Mathematics : A First Introduction to Categories, 2nd ed / F. William Lawvere and Stephen H. Schanuel.  Cambridge, UK: Cambridge, 2009.  QA169.L355 2009

R for SAS and SPSS Users / Robert A. Muenchen.  New York:  Springer, 2008.  QA276.45.R3M84X 2008

Multivariate Statistics : High Dimensional and Large-Sample Approximations / Yasunori Fujikoshi, Vladimir V. Ulyanov, and Ryoichi Shimizu.  Hoboken, NJ: John Wiley, 2010.  QA278.F84 2010

Inequalities : A Mathematical Olympiad Approach / Radmina Bulajich Manfrino, José Antonio Gómez Ortega, and Rogelio Valdez Delgado.  Basel: Birkhäuser, 2009.  QA295.B853X 2009

Advances in Numerical Methods / edited by Nikos Mastorakis and John Sakellaris.  Dordrecht: Springer, 2009.  QA297.A383X 2009

Statistical Simulation : Power Method Polynomials and Other Transformations / Todd C. Headrick.  Boca Raton: CRC, 2010.  QA298.H43 2010

The Shortest Path Problem : Ninth DIMACS Implementation Challenge / Camil Demetrescu, Andrew V. Goldberg, and David S. Johnson, editors.  Providence, RI: American Mathematical Society, 2009.  QA402.5.S5425 2009

Harmonic Analysis and Partial Differential Equations : 8th International Conference on Harmonic Analysis and Partial Differential Equations, June 16-20, 2008, ElEscorial, Madrid, Spain / Edited by Patricio Cifuentes, et al.  Providence, RI:  American Mathematical Society, 2008.  QA403.C66 2008

Quantum Affine Algebras, Extended Affine Lie Algebras, and Their Applications, March 2-7, 2008, Banff International Research Station, Banff, Canada / Yun Gao, et al. editors.  QA564.W67 2008

New Physics Books in the Engineering & Science Library

Everywhere and Everywhen : Adventures in Physics and Philosophy / Nick Huggett.  Oxford, UK: Oxford, 2010.  QC6.H824 2010

The Theoretical Practices of Physics : Philosophical Essays / R.I.G. Hughes.  Oxford, UK: Oxford, 2010.  QC6.2.H84 2010

Measurement and Data Analysis for Engineering and Science, 2nd ed / Patrick F. Dunn.  Boca Raton, FL: CRC, 2010.  QC39.D86 2010

The Fundamental Constants : A Mystery of Physics / Harald Fritzsch.  Hackensack, NJ: World Scientific, 2009.  QC39.F7613 2009

Units of Measurement : Past, Present and Future.  International System of Units / S.V. Gupta.  Heidelberg: Springer, 2010.  QC39.G87X 2010

Einstein’s 1912 Manuscript on the Special Theory of Relativity / Albert Einstein.  New York: George Braziller, 2003.  QC173.65.E3613 2003

Introduction to Fourier Optics, 3rd ed / Joseph W. Goodman.  Greenwood Village, CO: Roberts & Company, 2005  QC355.G65 2005

The Large Hadron Collider : A Marvel of Technology / edited by Lyndon Evans.  Lausanne, CH: EFPL, 2009.  QC787.P73L374X 2009

Hyperbolic Conservation Laws in Continuum Physics, 3rd ed / Constantine M. Dafermos.  Heidelberg: Springer, 2010.  QC793.3.C58D34 2010

Film That Used to be Shown Upon Graduation from Nuclear Power School

I just learned of a new resource called FedFlix that is part of the Internet Archive‘s efforts.  I was surprised to find a movie that I last saw when I graduated from U.S. Navy Nuclear Power School in 1979.  It describes the SL-1 Nuclear Reactor accident.  I tried to embed the video itself, but the system wouldn’t let me like it does with sources like YouTube.  So, follow the URL: