Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry)
by
ISBN 13: 9781402035319
Format: Paperback (404 pages) Publisher: Springer Published: 15 Jul 2005
Save for later
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)
by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott
ISBN 13: 9783540719403
Format: Paperback (797 pages) Publisher: Springer Published: 20 Jul 2007
Diagrammatic Reasoning in AI
by Robbie T. Nakatsu
ISBN 13: 9780470331873
Format: Hardcover (330 pages) Publisher: Wiley-Blackwell Published: 08 Dec 2009
CNC Machining Technology: Volume I: Design, Development and CIM Strategies
by Graham T. Smith
ISBN 13: 9783540198284
Format: Paperback (192 pages) Publisher: Springer Published: 31 Mar 1993
CNC Machining Technology: Volume II Cutting, Fluids and Workholding Technologies
ISBN 13: 9783540198291
Format: Paperback (204 pages) Publisher: Springer Published: 07 May 1993
Innovations in Applied Artificial Intelligence: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540265511
Format: Paperback (858 pages) Publisher: Springer Published: 16 Jun 2005
Integrated Circuit Test Engineering: Modern Techniques
by Ian A. Grout
ISBN 13: 9781846280238
Format: Paperback (362 pages) Publisher: Springer Published: 22 Aug 2005
Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540343837
Format: Paperback (1136 pages) Publisher: Springer Published: 26 May 2006
The Traveling Salesman Problem and Its Variations (Combinatorial Optimization)
ISBN 13: 9780387444598
Format: Paperback (848 pages) Publisher: Springer Published: 22 May 2007
Bioinformatics Research and Applications: Third International Symposium,ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Bioinformatics)
ISBN 13: 9783540720300
Format: Paperback (653 pages) Publisher: Springer Published: 26 Apr 2007
Ergonomics and Health Aspects of Work with Computers: International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540733324
Format: Paperback (390 pages) Publisher: Springer Published: 02 Jul 2007
Frontiers in Algorithmics: First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540738138
Format: Paperback (348 pages) Publisher: Springer Published: 16 Jul 2007