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
Fundamental Concepts in Electrical and Computer Engineering with Practical Design Problems (Second Edition)
by Reza Adhami,III Peter M. Meenen,Denis Hite
ISBN 13: 9781581129717
Format: Paperback (736 pages) Publisher: Dissertation.com Published: 20 Aug 2007
Applications of Geometric Algebra in Computer Science and Engineering
ISBN 13: 9780817642679
Format: Hardcover (478 pages) Publisher: Birkhauser Published: 01 Mar 2002
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540251088
Format: Paperback (684 pages) Publisher: Springer Published: 04 Mar 2005