High Performance Computing on Vector Systems 2008
by
ISBN 13: 9783540858683
Format: Hardcover (256 pages) Publisher: Springer Published: 04 Nov 2008
Save for later
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
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