Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783642024436
Format: Paperback (323 pages) Publisher: Springer Published: 19 Jun 2009
Save for later
Anticipatory Behavior in Adaptive Learning Systems: From Psychological Theories to Artificial Cognitive Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642025648
Format: Paperback (335 pages) Publisher: Springer Published: 15 Jun 2009
Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642032509
Format: Paperback (147 pages) Publisher: Springer Published: 20 Jul 2009
Quantitative Measure for Discrete Event Supervisory Control
ISBN 13: 9780387021089
Format: Hardcover (264 pages) Publisher: Springer Published: 01 Feb 2005
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 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