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

References

[1]
C. Boyd and A. Mathuria. Protocols for Authentication and Key Establishment. Springer, 2003.
[2]
E. Bouscaren, editor. Model Theory and Algebraic Geometry, volume 1696 of Lecture Notes in Mathematics. Springer, 1999.
[3]
B. Poizat. Les Petits Cailloux -Une approche modéle-théorique de l'algorithmie. Aléas, 1995.
[4]
J. D. Monk. Mathematical Logic. Springer-Verlag, 1976.
[5]
D. Bruss and G. Leuchs. Lectures on Quantum Information. Wiley - UCH, 2007.
[6]
T. M. Cover and J. A. Thomas. Elements of Information Theory - 2nd Edition. John Wiley & Sons, 2006.
[7]
J. Friedman. Logic for Programming, Artificial Intelligence and Reasoning. The Rand Corporation, 1996.
[8]
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.
[9]
S. Homer and A. L. Selman. Computability and Complexity Theory. Springer, 2001.
[10]
P. J. McCarthy. Algebraic Extensions of Fields. Dover Publications Inc, 1991.
[11]
J. Amaral. Aspects of Optimal Sequential Resource Allocation. PhD thesis, Universidade de Oxford, 1985.
[12]
L. M. Brown, editor. Feynman's Thesis - a new approach to quantum theory. World Scientific, 2005.
[13]
R. Diaconescu. Institution-independent Model Theory. Birkhäuser, 2008.
[14]
P. Morandi. Field and Galois Theory. Springer, 1996.
[15]
W. Hodges. A Shorter Model Theory. Cambridge University Press, 1997.
[16]
M. Nakahara and T. Ohmi. Quantum Computing - from Linear Algebra to Physical Realizations. CRC Press, 2008.
[17]
A. Shen and N. K. Vereshchagin. Computable Functions, volume 19 of Student Mathematical Library. American Mathematical Society, 2003.
[18]
W. Hodges. Model Theory, volume 42 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1993.
[19]
M. Small. Applied Nonlinear Time Series Analysis, volume 52 of World Scientific Series on Nonlinear Science - series A. World Scientific, 2005.
[20]
N. Mermin. Quantum Computer Science - an introduction. Cambridge University Press, 2007.
[21]
M. Bellac. A Shot Introduction to Quantum Computation and Quantum Information. Cambridge University Press, 2006.
[22]
M. Nielsen and I. Chang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
[23]
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.
[24]
N. Majlis. The Quantum Theory of Magnetism - 2nd Edition. World Scientific, 2007.
[25]
R.A. Bertlmann and A. Zeilinger, editors. Quantum Unspeakables. Springer, 2002.
[26]
M. Hayashi. Quantum Information - an introduction. Springer, 2006.
[27]
L. Diósi. A Short Course in Quantum Information Theory, volume 713 of Lecture Notes in Physics. Springer, 2007.
[28]
G. Jaeger. Quantum Information - an overview. Springer, 2007.
[29]
D. Amit and V. Martin-Mayor. Field Theory, the Renormalization Group and Critical Phenomena - 3rd Edition. World Scientific, 2005.
[30]
V. Vedral. Modern Foundations of Quantum Optics. Imperial College Press, 2005.
[31]
D. Marker. Model Theory: an introduction, volume 217 of Graduate Texts in Mathematics. Springer, 2002.
[32]
S. Cooper, B. Löwe, and A. Sorbi, editors. New Computational Paradigms. Springer, 2008.
[33]
R. Crandall and C. Pomerance. Prime Numbers - a Computational Perspective. Springer, 2005.
[34]
E. Ott. Chaos in Dynamical Systems - 2nd Edition. Cambridge University Press, 2002.
[35]
A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation, volume 10 of Texts in Computing. College Publications, 2008. 5 Exemplares.
[36]
J. Annett. Superconductivity, Superfluids and Condensates. Oxford University Press, 2007.
[37]
S. Awodey. Category Theory, volume 49 of Oxford Logic Guides. Oxford University Press, 2006.
[38]
S. Cooper, B. Löwe, and A. Sorbi, editors. New Computational Paradigms. Springer, 2008.
[39]
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.
[40]
R. Hilborn. Chaos and Nonlinear Dynamics - 2nd Edition. Oxford University Press, 2006.
[41]
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.
[42]
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.
[43]
T. Streicher. Domain-Theoretic Foundations of Functional Programming. World Scientific, 2006.
[44]
B. Pierce, editor. Advanced Topics in Types and Programming Languages. The MIT Press, 2005.
[45]
N. Bezhanishvili. Lattices of Intermediate and Cylindric Modal Logics. Institute for Logic, Language and Computation - Univ. Amesterdam, 2006.
[46]
L. Aceto, A. Ingólfsdóttir, K. Guldstrand-Larsen, and J. Srba. Reactive Systems - Modelling, Specification and Verification. Cambridge University Press, 2007.
[47]
G. Dantzig and M. Thapa. Linear Programming 1: Introduction. Springer, 1997.
[48]
R. Kaye. The Mathematics of Logic. Cambridge University Press, 2007.
[49]
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.
[50]
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.
[51]
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.