Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
by Steven Vickers
ISBN 13: 9780521576512
Format: Paperback (220 pages) Publisher: Cambridge University Press Published: 22 Aug 1996
Save for later
Understanding Concurrent Systems (Texts in Computer Science)
by A.W. Roscoe
ISBN 13: 9781848822573
Format: Hardcover (533 pages) Publisher: Springer Published: 25 Oct 2010
Damage Models and Algorithms for Assessment of Structures Under Operation Conditions (Structures and Infrastructures)
by
ISBN 13: 9780415421959
Format: Hardcover (340 pages) Publisher: CRC Press Published: 17 Sep 2009
Algorithmic Randomness and Complexity (Theory and Applications of Computability)
by Rodney G. Downey,Denis R. Hirschfeldt
ISBN 13: 9780387955674
Format: Hardcover (855 pages) Publisher: Springer Published: 05 Nov 2010
Information Criteria and Statistical Modeling (Springer Series in Statistics)
by Sadanori Konishi,Genshiro Kitagawa
ISBN 13: 9780387718866
Format: Hardcover (276 pages) Publisher: Springer Published: 05 Nov 2007
Autonomous Flying Robots: Unmanned Aerial Vehicles and Micro Aerial Vehicles
by Kenzo Nonami,Farid Kendoul,Satoshi Suzuki,Wei Wang,Daisuke Nakazawa
ISBN 13: 9784431538554
Format: Hardcover (330 pages) Publisher: Springer Published: 17 Sep 2010
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... / Programming and Software Engineering)
ISBN 13: 9783642150562
Format: Paperback (217 pages) Publisher: Springer Published: 05 Aug 2010
Advanced Memory Optimization Techniques for Low-Power Embedded Processors
by Manish Verma,Peter Marwedel
ISBN 13: 9781402058967
Format: Hardcover (161 pages) Publisher: Springer Published: 09 May 2007
Mathematical Foundations of Speech and Language Processing: with 56 Illustrations (The IMA Volumes in Mathematics and its Applications)
ISBN 13: 9780387203263
Format: Hardcover (286 pages) Publisher: Springer Published: 27 Apr 2004
Robotics, Mechatronics, and Artificial Intelligence: Experimental Circuit Blocks for Designers
by Newton C. Braga
ISBN 13: 9780750673891
Format: Paperback (336 pages) Publisher: Newnes Published: 22 Nov 2001
OpenVMS Performance Management, (HP Technologies)
by Joginder Sethi
ISBN 13: 9781555581268
Format: Paperback (300 pages) Publisher: Digital Press Published: 20 Sep 1995
Brain Informatics: International Conference, BI 2010, Toronto, Canada, August 28-30, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642153136
Format: Paperback (440 pages) Publisher: Springer Published: 11 Aug 2010