Design of Multithreaded Software: The Entity-Life Modeling Approach
by Bo I. Sandén
ISBN 13: 9780470876596
Format: Hardcover (320 pages) Publisher: Wiley-Blackwell Published: 15 Feb 2011
Save for later
High Performance Computing on Vector Systems 2008
by
ISBN 13: 9783540858683
Format: Hardcover (256 pages) Publisher: Springer Published: 04 Nov 2008
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein
ISBN 13: 9783540004288
Format: Hardcover (437 pages) Publisher: Springer Published: 24 Apr 2007
Logical and Relational Learning: From ILP to MRDM (Cognitive Technologies)
by Luc De Raedt
ISBN 13: 9783540200406
Format: Hardcover (404 pages) Publisher: Springer Published: 12 Sep 2008
ICT Innovations 2010: Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers (Communications in Computer and Information Science)
ISBN 13: 9783642193248
Format: Paperback (378 pages) Publisher: Springer Published: 01 Mar 2011
Engineering Methods in the Service-Oriented Context: 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, ... in Information and Communication Technology)
ISBN 13: 9783642199967
Format: Hardcover (242 pages) Publisher: Springer Published: 23 Mar 2011
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
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)
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
Some Assembly Required: Assembly Language Programming with the AVR Processor
by Timothy S Margush
ISBN 13: 9781439820643
Format: Hardcover (643 pages) Publisher: CRC Press Published: 12 Aug 2011
Advances in Neural Networks -- ISNN 2011: 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, ... Computer Science and General Issues)
ISBN 13: 9783642211102
Format: Paperback (664 pages) Publisher: Springer Published: 10 May 2011