Title: 7th International Conference on Automated Deduction: Proceedings / Edition 1, Author: R. E. Shostak
Title: A Course in Computational Algebraic Number Theory / Edition 1, Author: Henri Cohen
Title: A Course in Computational Probability and Statistics, Author: Walter Freiberger
Title: A Course in Formal Languages, Automata and Groups / Edition 1, Author: Ian M. Chiswell
Title: A Course on Optimization and Best Approximation / Edition 1, Author: R. B. Holmes
Title: A First Course in Optimization Theory / Edition 1, Author: Rangarajan K. Sundaram
Title: A Generative Theory of Shape / Edition 1, Author: Michael Leyton
Title: A Guide to Maple / Edition 1, Author: Ernic Kamerich
Title: A MatLab® Companion to Complex Variables / Edition 1, Author: A. David Wunsch
Title: A New Kind of Computational Biology: Cellular Automata Based Models for Genomics and Proteomics, Author: Parimal Pal Chaudhuri
Title: A Plain TEX Primer / Edition 1, Author: Malcolm Clark
Title: A Posteriori Error Analysis Via Duality Theory: With Applications in Modeling and Numerical Approximations / Edition 1, Author: Weimin Han
Title: A Primer on Quantum Computing, Author: Franklin de Lima Marquezino
Title: A Programmer's Companion to Algorithm Analysis / Edition 1, Author: Ernst L. Leiss
Title: A Tour through Graph Theory / Edition 1, Author: Karin R Saoub
Title: A Variational Approach to Nonsmooth Dynamics: Applications in Unilateral Mechanics and Electronics, Author: Samir Adly
Title: Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1, Author: Werner Kluge
Title: Abstract Machine Models for Parallel and Distributed Computing / Edition 1, Author: M. Kara
Title: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Edition 1, Author: Yuri Gurevich
Title: Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / Edition 1, Author: Egon Börger

Pagination Links