Quantitative Measure for Discrete Event Supervisory Control
by
ISBN 13: 9780387021089
Format: Hardcover (264 pages) Publisher: Springer Published: 01 Feb 2005
Save for later
Linear Genetic Programming (Genetic and Evolutionary Computation)
by Markus F. Brameier,Wolfgang Banzhaf
ISBN 13: 9780387310299
Format: Hardcover (316 pages) Publisher: Springer Published: 29 Dec 2006
Handbook of Automated Reasoning: Vol 1
ISBN 13: 9780444829498
Format: Hardcover (996 pages) Publisher: North Holland Published: 21 Jun 2001
Handbook of Applied Algorithms: Solving Scientific, Engineering and Practical Problems
ISBN 13: 9780470044926
Format: Hardcover (560 pages) Publisher: Wiley-Blackwell Published: 28 Mar 2008
Principles of the Spin Model Checker
by Mordechai Ben-Ari
ISBN 13: 9781846287695
Format: Paperback (216 pages) Publisher: Springer Published: 08 Jan 2008
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)
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