Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
by T. F. Melham
ISBN 13: 9780521417181
Format: Hardcover (179 pages) Publisher: Cambridge University Press Published: 11 Nov 1993
Save for later
Professional Design Patterns in Vb.Net: Building Adaptable Applications: Building Adaptable Applications (Expert's Voice)
by Chaur Wu
ISBN 13: 9781590592748
Format: Paperback (368 pages) Publisher: Apress Published: 01 Oct 2003
Agent-Mediated Electronic Commerce Automated Negotiation and Strategy Design for Electronic Markets: AAMAS 2006 Workshop, TADA/AMEC 2006 Hakodate, ... 4452 (Lecture Notes in Computer Science)
by Maria Fasli
ISBN 13: 9783540725015
Format: Illustrated (264 pages) Publisher: Springer Published: 10 May 2007
In-Vehicle Corpus and Signal Processing for Driver Behavior
by Hakan Erdogan, Kazuya Takeda, John H. L. Hansen
ISBN 13: 9780387795812
Format: Illustrated (264 pages) Publisher: Springer Published: 09 Dec 2008
The Puzzle of Granular Computing (Studies in Computational Intelligence): 138
by Bruno Apolloni,Witold Pedrycz,Simone Bassis
ISBN 13: 9783540798637
Format: Hardcover (516 pages) Publisher: Springer Published: 20 Aug 2008
Python Scripting for Computational Science: 3 (Texts in Computational Science and Engineering, 3)
by Hans Petter Langtangen
ISBN 13: 9783540739159
Format: Illustrated (782 pages) Publisher: Springer Published: 11 Dec 2007
Fuzzing for Software Security Testing and Quality Assurance (Artech House Information Security and Privacy)
by Ari Takanen,Jared D. Demott,Charles Miller
ISBN 13: 9781596932142
Format: Illustrated (312 pages) Publisher: Artech House Published: 30 Jun 2008
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)
by Jerzy Tiuryn
ISBN 13: 9783540672579
Format: Paperback (408 pages) Publisher: Springer Published: 13 Apr 2000
Information Systems and e-Business Technologies: 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April ... Notes in Business Information Processing)
by Roland Kaschek,Christian Kop,Claudia Steinberger,Gunther Fliedl
ISBN 13: 9783540789413
Format: Paperback (612 pages) Publisher: Springer Published: 14 Apr 2008
Categories and Computer Science: 28 (Cambridge Computer Science Texts, Series Number 28)
by Walters
ISBN 13: 9780521422260
Format: Paperback (180 pages) Publisher: Cambridge University Press Published: 27 Aug 1992
Test and Analysis of Web Services
by Luciano Baresi
ISBN 13: 9783540729112
Format: Illustrated (488 pages) Publisher: Springer Published: 26 Sep 2007
A Computational Approach to Digital Chinese Painting and Calligraphy (Advanced Topics in Science and Technology in China)
by Songhua Xu, Francis C.M. Lau, Yun-he Pan
ISBN 13: 9783540881476
Format: Hardcover (380 pages) Publisher: Springer Published: 29 Jan 2009