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
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
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
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
Living with the Chip
by T. Makimoto,D. Manners
ISBN 13: 9780412616907
Format: Paperback (224 pages) Publisher: Springer Published: 30 Nov 1994
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)
by Jerzy Tiuryn
ISBN 13: 9783540672579
Format: Paperback (408 pages) Publisher: Springer Published: 13 Apr 2000
Bio-Inspired Computing and Communication: First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007, Revised Papers: 5151 (Lecture Notes in Computer Science)
by Eiko Yoneki
ISBN 13: 9783540921905
Format: Paperback (444 pages) Publisher: Springer Published: 13 Feb 2009
The Mind's Sky: Human Intelligence in a Cosmic Context
by Timothy Ferris
ISBN 13: 9780553371338
Format: Paperback (300 pages) Publisher: Bantam Published: Apr 1993
Pairing-Based Cryptography Pairing 2008: Second International Conference, Egham, UK, September 1-3, 2008, Proceedings (Lecture Notes in Computer Science/Security and Cryptology)
by Steven D. Galbraith
ISBN 13: 9783540855033
Format: Paperback (392 pages) Publisher: Springer Published: 25 Aug 2008
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4482 (Lecture Notes in Computer Science)
by Aijun An,Witold Pedrycz,Jerzy Stefanowski,Sheela Ramanna,Cory J. Butz
ISBN 13: 9783540725299
Format: Illustrated (604 pages) Publisher: Springer Published: 22 Feb 2009
Neural Computing - An Introduction
by R. Beale
ISBN 13: 9780852742624
Format: Paperback (256 pages) Publisher: Routledge Published: 01 Jan 1990
Information Security and Cryptology: Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers: 4990 (Lecture Notes in Computer Science)
by Dingyi Pei
ISBN 13: 9783540794981
Format: Paperback (548 pages) Publisher: Springer Published: 18 Jul 2008