Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
by Leonid Libkin
ISBN 13: 9783540212027
Format: Hardcover (318 pages) Publisher: Springer Published: 02 Jul 2004
Save for later
Computational Geometry: Algorithms and Applications
by Mark de Berg,Otfried Cheong,Marc van Kreveld,Mark Overmars
ISBN 13: 9783540779735
Format: Hardcover (386 pages) Publisher: Springer Published: 07 Mar 2008
Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)
by Matthew J. Sottile,Timothy G. Mattson,Craig E Rasmussen
ISBN 13: 9781420072136
Format: Hardcover (344 pages) Publisher: Chapman and Hall/CRC Published: 07 Oct 2009
Model Driven Engineering and Ontology Development
by Dragan Gaevic,Dragan Djuric,Vladan Devedic
ISBN 13: 9783642002816
Format: Hardcover (378 pages) Publisher: Springer Published: 18 May 2009
Algorithms and Programming: Problems and Solutions (Springer Undergraduate Texts in Mathematics and Technology)
by Alexander Shen
ISBN 13: 9781441917478
Format: Hardcover (272 pages) Publisher: Springer Published: 12 Feb 2010
Stochastic Learning and Optimization: A Sensitivity-Based Approach (International Series on Discrete Event Dynamic Systems)
by Xi-Ren Cao
ISBN 13: 9780387367873
Format: Hardcover (566 pages) Publisher: Springer Published: 05 Nov 2007
Finite Markov Chains and Algorithmic Applications (London Mathematical Society Student Texts)
by Olle Häggström
ISBN 13: 9780521890014
Format: Paperback (124 pages) Publisher: Cambridge University Press Published: 30 May 2002
Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery (The Morgan Kaufmann Series in Data Management Systems)
by Gerhard Weikum,Gottfried Vossen
ISBN 13: 9781558605084
Format: Hardcover (852 pages) Publisher: Morgan Kaufmann Published: 30 May 2001
A Course in Computational Algebraic Number Theory: 138 (Graduate Texts in Mathematics, 138)
by Henri Cohen
ISBN 13: 9783540556404
Format: Big Book (557 pages) Publisher: Springer Published: 05 Aug 1993
Godel, Escher, Bach: An Eternal Golden Braid
by Douglas Hofstadter
ISBN 13: 9780465026562
Format: Illustrated (777 pages) Publisher: Basic Books Published: 15 Jan 1999 Other Format: Paperback
Speech, Audio, Image and Biomedical Signal Processing using Neural Networks: 83 (Studies in Computational Intelligence)
by Bhanu Prasad,S.R.M. Prasanna
ISBN 13: 9783540753971
Format: Hardcover (432 pages) Publisher: Springer Published: 03 Jan 2008
Distributed Computing and Networking: 10th International Conference, ICDCN 2009, Hyderabad, India, January 2009 Proceedings: 10th International ... 5408 (Lecture Notes in Computer Science)
by Vijay Garg, Roger Wattenhofer, Kishore Kothapalli
ISBN 13: 9783540922940
Format: Paperback (476 pages) Publisher: Springer Published: 18 Dec 2008