Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)
by Jim Woodcock, Natarajan Shankar
ISBN 13: 9783540878728
Format: Paperback (263 pages) Publisher: Springer Published: 22 Sep 2008
Save for later
Robust Algebraic Multilevel Methods and Algorithms (Radon Series on Computational and Applied Mathematics): 05 (Radon Series on Computational and Applied Mathematics, 5)
by Johannes Kraus,Svetozar Margenov
ISBN 13: 9783110193657
Format: Illustrated (258 pages) Publisher: De Gruyter Published: 01 Jul 2009
The Garden in the Machine: The Emerging Science of Artificial Life: 121 (Princeton Science Library)
by Claus Emmeche, Steven Sampson
ISBN 13: 9780691029030
Format: Paperback (220 pages) Publisher: Princeton University Press Published: 19 Sep 1996
Logic Functions and Equations: Examples and Exercises
by Bernd Steinbach,Christian Posthoff
ISBN 13: 9781402095948
Format: Hardcover (254 pages) Publisher: Springer Published: 12 Feb 2009
Blind Equalization and System Identification: Batch Processing Algorithms, Performance and Applications (Advanced Textbooks in Control and Signal Processing)
by Chong-Yung Chi
ISBN 13: 9781846280221
Format: Illustrated (484 pages) Publisher: Springer Published: 23 Jan 2006
Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography: 44 (Mathematical Sciences Research Institute Publications, Series Number 44)
by J.P. Buhler, P. Stevenhagen
ISBN 13: 9780521808545
Format: Hardcover (662 pages) Publisher: Cambridge University Press Published: 20 Oct 2008
Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)
by Chitta Baral,Gerhard Brewka,John Schlipf
ISBN 13: 9783540721994
Format: Paperback (344 pages) Publisher: Springer Published: 27 Apr 2007
Artificial Life Models in Software
by Maciej Komosinski,Andrew Adamatzky
ISBN 13: 9781848822849
Format: Hardcover (464 pages) Publisher: Springer Published: 14 Jul 2009
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings (Lecture Notes in Computer Science/Lecture Notes in Bioinformatics): 5054
by Jasmin Fisher
ISBN 13: 9783540684107
Format: Paperback (156 pages) Publisher: Springer Published: 26 Jun 2008
Design and Control of Intelligent Robotic Systems: 177 (Studies in Computational Intelligence)
by Dikai Liu,Lingfeng Wang,Kay Chen Tan
ISBN 13: 9783540899327
Format: Hardcover (504 pages) Publisher: Springer Published: 05 Mar 2009
Art of Computer Programming, The: Fundamental Algorithms, Volume 1 (Kluwer International Series in)
by Donald Knuth
ISBN 13: 9780201896831
Format: Illustrated (672 pages) Publisher: Addison-Wesley Professional Published: 14 Aug 1997
Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)
by Steven S. Skiena, Miguel A. Revilla
ISBN 13: 9780387001630
Format: Paperback (368 pages) Publisher: Springer Published: 14 May 2003