Foundations of Computer Software: Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, ... / Programming and Software Engineering)
by
ISBN 13: 9783642125652
Format: Paperback (275 pages) Publisher: Springer Published: 20 Apr 2010
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
Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783540210443
Format: Paperback (323 pages) Publisher: Springer Published: 10 Feb 2004
Practical Aspects of Knowledge Management: 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540240884
Format: Paperback (524 pages) Publisher: Springer Published: 01 Dec 2004
The Computer Engineering Handbook (Electrical Engineering Handbook)
ISBN 13: 9780849386008
Format: Hardcover (1648 pages) Publisher: CRC Press Published: 25 Jan 2008
Mikrocontroller Und Mikroprozessoren (eXamen.Press)
by Uwe Brinkschulte,Theo Ungerer
ISBN 13: 9783642053979
Format: Paperback (470 pages) Publisher: Not Avail Published: Aug 2010
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
ISBN 13: 9780444527264
Format: Hardcover (978 pages) Publisher: Elsevier Science Published: 18 Aug 2006
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Computer Science and General Issues)
ISBN 13: 9783642005954
Format: Paperback (471 pages) Publisher: Springer Published: 09 Mar 2009
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry)
ISBN 13: 9781402035319
Format: Paperback (404 pages) Publisher: Springer Published: 15 Jul 2005
Parallel Scientific Computing in C++ and MPI: A Seamless Approach to Parallel Algorithms and their Implementation
by George Em Karniadakis,Robert M. Kirby II
ISBN 13: 9780521520805
Format: Paperback (630 pages) Publisher: Cambridge University Press Published: 16 Jun 2003
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
by Steven Vickers
ISBN 13: 9780521576512
Format: Paperback (220 pages) Publisher: Cambridge University Press Published: 22 Aug 1996
Damage Models and Algorithms for Assessment of Structures Under Operation Conditions (Structures and Infrastructures)
ISBN 13: 9780415421959
Format: Hardcover (340 pages) Publisher: CRC Press Published: 17 Sep 2009