Principles of the Spin Model Checker
by Mordechai Ben-Ari
ISBN 13: 9781846287695
Format: Paperback (216 pages) Publisher: Springer Published: 08 Jan 2008
Save for later
Random Trees: An Interplay between Combinatorics and Probability
by Michael Drmota
ISBN 13: 9783211753552
Format: Hardcover (457 pages) Publisher: Springer Published: 22 Dec 2008
Electroactive Polymer Gel Robots: Modelling and Control of Artificial Muscles: Modelling and Control of Artifical Muscles (Springer Tracts in Advanced Robotics)
by Mihoko Otake
ISBN 13: 9783540239550
Format: Hardcover (250 pages) Publisher: Springer Published: 23 Feb 2010
Journal on Data Semantics XII (Lecture Notes in Computer Science / Journal on Data Semantics)
by
ISBN 13: 9783642006845
Format: Paperback (179 pages) Publisher: Springer Published: 19 Jun 2009
Bioinspired Applications in Artificial and Natural Computation: Third International Work-Conference on the Interplay Between Natural and Artificial ... Computer Science and General Issues)
ISBN 13: 9783642022661
Format: Paperback (532 pages) Publisher: Springer Published: 12 Jun 2009
Cryptographic Hardware and Embedded Systems - CHES 2009: 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings (Lecture ... Computer Science / Security and Cryptology)
ISBN 13: 9783642041372
Format: Paperback (472 pages) Publisher: Springer Published: 28 Aug 2009
Human Language Technology. Challenges of the Information Society: Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642042348
Format: Paperback (472 pages) Publisher: Springer Published: 07 Sep 2009
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2009: 12th International Conference, London, UK, September 20-24, 2009, ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783642042676
Format: Paperback (1037 pages) Publisher: Springer Published: 07 Sep 2009 Other Format: Paperback
KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642046162
Format: Paperback (737 pages) Publisher: Springer Published: 18 Sep 2009
Ontology Management: Semantic Web, Semantic Web Services, and Business Applications (Semantic Web and Beyond)
ISBN 13: 9780387698991
Format: Hardcover (295 pages) Publisher: Springer Published: 20 Dec 2007
Error-correcting Codes: A Mathematical Introduction (Chapman & Hall Mathematics)
by D J. Baylis
ISBN 13: 9780412786907
Format: Paperback (232 pages) Publisher: Chapman and Hall/CRC Published: 04 Dec 1997
Algorithms: Design Techniques and Analysis (Lecture Notes Series on Computing)
by M H Alsuwaiyel
ISBN 13: 9789810237400
Format: Hardcover (430 pages) Publisher: World Scientific Publishing Co Pte Ltd Published: 10 Jun 1999