Software Engineering 2: Specification of Systems and Languages: v. 2 (Texts in Theoretical Computer Science. An EATCS Series)
by Dines Bjørner
ISBN 13: 9783540211501
Format: Hardcover (804 pages) Publisher: Springer Published: 22 Feb 2006 Other Format: Hardcover
Save for later
Cryptographic Hardware and Embedded Systems - CHES 2007: 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
by
ISBN 13: 9783540747345
Format: Paperback (482 pages) Publisher: Springer Published: 28 Aug 2007
Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers ... / Programming and Software Engineering)
ISBN 13: 9783642194399
Format: Paperback (428 pages) Publisher: Springer Published: 23 Feb 2011
Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642194856
Format: Paperback (164 pages) Publisher: Springer Published: 16 Mar 2011
Doing Web Development: Client-side Techniques (Expert's Voice)
by Deborah Kurata
ISBN 13: 9781893115873
Format: Illustrated (508 pages) Publisher: Apress Published: 01 Dec 2001
Selected Papers on Analysis of Algorithms (Center for the Study of Language and Information Publication Lecture Notes)
by Donald E. Knuth
ISBN 13: 9781575862125
Format: Paperback (540 pages) Publisher: Cambridge University Press Published: 29 May 2000
Design of Low-power Coarse-grained Reconfigurable Architectures
by Yoonjin Kim,Rabi N. Mahapatra
ISBN 13: 9781439825105
Format: Hardcover (223 pages) Publisher: CRC Press Published: 17 Dec 2010
Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties
by Giorgio Ausiello,Pierluigi Crescenzi,Giorgio Gambosi,Viggo Kann,Alberto Marchetti-Spaccamela,Marco Protasi
ISBN 13: 9783540654315
Format: Hardcover (543 pages) Publisher: Springer Published: 09 Nov 1999
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540894384
Format: Paperback (728 pages) Publisher: Springer Published: 13 Nov 2008
Scientific Computer Performance (Chapman & Hall/CRC Computational Science)
ISBN 13: 9781439815694
Format: Hardcover (399 pages) Publisher: CRC Press Published: 01 Feb 2011
Real-Time Systems: Design Principles for Distributed Embedded Applications (Real-Time Systems Series)
by Hermann Kopetz
ISBN 13: 9781441982360
Format: Hardcover (394 pages) Publisher: Springer Published: 20 Apr 2011
Debugging at the Electronic System Level
by Frank Rogin,Rolf Drechsler
ISBN 13: 9789048192540
Format: Hardcover (218 pages) Publisher: Springer Published: 05 Jul 2010