Branch at SQIG of the IT Library - Alameda
(by reverse order of acquisition)


C. Boyd and A. Mathuria. Protocols for Authentication and Key Establishment. Springer, 2003.
E. Bouscaren, editor. Model Theory and Algebraic Geometry, volume 1696 of Lecture Notes in Mathematics. Springer, 1999.
B. Poizat. Les Petits Cailloux -Une approche modéle-théorique de l'algorithmie. Aléas, 1995.
J. D. Monk. Mathematical Logic. Springer-Verlag, 1976.
D. Bruss and G. Leuchs. Lectures on Quantum Information. Wiley - UCH, 2007.
T. M. Cover and J. A. Thomas. Elements of Information Theory - 2nd Edition. John Wiley & Sons, 2006.
J. Friedman. Logic for Programming, Artificial Intelligence and Reasoning. The Rand Corporation, 1996.
I. Cervasato, H. Veith, and A. Voronkov, editors. Logic for Programming, Artificial Intelligence and Reasoning, volume 5330 of Lecture Notes in Artificial Intelligence. Springer, 2008.
S. Homer and A. L. Selman. Computability and Complexity Theory. Springer, 2001.
P. J. McCarthy. Algebraic Extensions of Fields. Dover Publications Inc, 1991.
J. Amaral. Aspects of Optimal Sequential Resource Allocation. PhD thesis, Universidade de Oxford, 1985.
L. M. Brown, editor. Feynman's Thesis - a new approach to quantum theory. World Scientific, 2005.
R. Diaconescu. Institution-independent Model Theory. Birkhäuser, 2008.
P. Morandi. Field and Galois Theory. Springer, 1996.
W. Hodges. A Shorter Model Theory. Cambridge University Press, 1997.
M. Nakahara and T. Ohmi. Quantum Computing - from Linear Algebra to Physical Realizations. CRC Press, 2008.
A. Shen and N. K. Vereshchagin. Computable Functions, volume 19 of Student Mathematical Library. American Mathematical Society, 2003.
W. Hodges. Model Theory, volume 42 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1993.
M. Small. Applied Nonlinear Time Series Analysis, volume 52 of World Scientific Series on Nonlinear Science - series A. World Scientific, 2005.
N. Mermin. Quantum Computer Science - an introduction. Cambridge University Press, 2007.
M. Bellac. A Shot Introduction to Quantum Computation and Quantum Information. Cambridge University Press, 2006.
M. Nielsen and I. Chang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
J. Carmo. Lógicas Temporais para Especificação e Verificação de Sistemas de Informação. PhD thesis, IST - Universidade Técnica de Lisboa, 1987.
N. Majlis. The Quantum Theory of Magnetism - 2nd Edition. World Scientific, 2007.
R.A. Bertlmann and A. Zeilinger, editors. Quantum Unspeakables. Springer, 2002.
M. Hayashi. Quantum Information - an introduction. Springer, 2006.
L. Diósi. A Short Course in Quantum Information Theory, volume 713 of Lecture Notes in Physics. Springer, 2007.
G. Jaeger. Quantum Information - an overview. Springer, 2007.
D. Amit and V. Martin-Mayor. Field Theory, the Renormalization Group and Critical Phenomena - 3rd Edition. World Scientific, 2005.
V. Vedral. Modern Foundations of Quantum Optics. Imperial College Press, 2005.
D. Marker. Model Theory: an introduction, volume 217 of Graduate Texts in Mathematics. Springer, 2002.
S. Cooper, B. Löwe, and A. Sorbi, editors. New Computational Paradigms. Springer, 2008.
R. Crandall and C. Pomerance. Prime Numbers - a Computational Perspective. Springer, 2005.
E. Ott. Chaos in Dynamical Systems - 2nd Edition. Cambridge University Press, 2002.
A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation, volume 10 of Texts in Computing. College Publications, 2008. 5 Exemplares.
J. Annett. Superconductivity, Superfluids and Condensates. Oxford University Press, 2007.
S. Awodey. Category Theory, volume 49 of Oxford Logic Guides. Oxford University Press, 2006.
S. Cooper, B. Löwe, and A. Sorbi, editors. New Computational Paradigms. Springer, 2008.
M. Hirsch, S. Smale, and R. Devaney. Differential Equations, Dynamical systems: an Introduction to Chaos - 2nd Edition, volume 60 of Pure and Applied Mathematics. Elsevier, 2004.
R. Hilborn. Chaos and Nonlinear Dynamics - 2nd Edition. Oxford University Press, 2006.
W. Carnielli, M. Coniglio, D. Gabbay, P. Gouveia, and C. Sernadas. Analysis and Synthesis of Logics, volume 35 of Applied Logic Series. Springer, 2008. 2 Exemplares.
N. Galatos, P. Jipsen, T. Kowalski, and H. Ono. Residuated Lattices: an Algebraic Glimpse at Substructural Logics, volume 151 of Studies in Logic and the Foundations of Mathematics. Elsevier, 2007.
T. Streicher. Domain-Theoretic Foundations of Functional Programming. World Scientific, 2006.
B. Pierce, editor. Advanced Topics in Types and Programming Languages. The MIT Press, 2005.
N. Bezhanishvili. Lattices of Intermediate and Cylindric Modal Logics. Institute for Logic, Language and Computation - Univ. Amesterdam, 2006.
L. Aceto, A. Ingólfsdóttir, K. Guldstrand-Larsen, and J. Srba. Reactive Systems - Modelling, Specification and Verification. Cambridge University Press, 2007.
G. Dantzig and M. Thapa. Linear Programming 1: Introduction. Springer, 1997.
R. Kaye. The Mathematics of Logic. Cambridge University Press, 2007.
D. Cox, J. Little, and D. O'Shea. Ideals, Varieties, and Algorithms - An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd Edition. Springer, 2007.
J. M. P. Carmelo, P. D. Sacramento, J. M. B. Lopes dos Santos, and V. Rocha Vieira, editors. Strongly Correlated Systems, Coherence and Entanglement. World Scientific, 2007.
S. Basu, R. Pollack, and M.-F. Roy. Algorithms in Real Algebraic Geometry - 2nd Edition, volume 10 of Algorithms and Computation in Mathematics. Springer, 2006.

File translated from TEX by TTH, version 3.80.
On 18 Feb 2009, 12:11.