Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002
Save for later
Advances in Music Information Retrieval (Studies in Computational Intelligence)
by
ISBN 13: 9783642116735
Format: Hardcover (420 pages) Publisher: Springer Published: 28 Feb 2010
Brain-Inspired Information Technology (Studies in Computational Intelligence)
ISBN 13: 9783642040245
Format: Hardcover (182 pages) Publisher: Springer Published: 22 Sep 2010
Computational Intelligence in Expensive Optimization Problems (Adaptation, Learning, and Optimization)
ISBN 13: 9783642107009
Format: Hardcover (800 pages) Publisher: Springer Published: 22 Apr 2010
Computable Analysis: An Introduction (Texts in Theoretical Computer Science. An EATCS Series)
by Klaus Weihrauch
ISBN 13: 9783540668176
Format: Hardcover (285 pages) Publisher: Springer Published: 14 Sep 2000
Just-in-Time Scheduling: Models and Algorithms for Computer and Manufacturing Systems (International Series in Operations Research & Management Science)
by Joanna Jozefowska
ISBN 13: 9780387717173
Format: Hardcover (258 pages) Publisher: Springer Published: 30 Aug 2007
Machine Learning for Multimodal Interaction: Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540692676
Format: Paperback (482 pages) Publisher: Springer Published: 22 Dec 2006
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 (Lecture Notes in Computer Science)
ISBN 13: 9783540009139
Format: Paperback (558 pages) Publisher: Springer Published: 18 Mar 2003
Computer Algebra Recipes: An Advanced Guide to Scientific Modeling
by Richard H. Enns,George C. McGuire
ISBN 13: 9780387257686
Format: Paperback (372 pages) Publisher: Springer Published: 13 Mar 2007 Other Format: Paperback
Advances in Biometrics: Sensors, Algorithms and Systems
ISBN 13: 9781846289200
Format: Hardcover (528 pages) Publisher: Springer Published: 28 Nov 2007
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
by Wan Fokkink
ISBN 13: 9783540739371
Format: Hardcover (156 pages) Publisher: Springer Published: 26 Sep 2007
Adaptive and Natural Computing Algorithms: 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540715894
Format: Paperback (851 pages) Publisher: Springer Published: 02 Apr 2007