Conceptual Structures in Practice (Chapman & Hall/CRC Studies in Informatics Series)
by Pascal Hitzler, Henrik Scharfe, G.Q. Zhang
ISBN 13: 9781420060621
Format: Hardcover (425 pages) Publisher: Chapman & Hall Published: 06 May 2009
Save for later
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009
Network Processors: Architecture, Programming, and Implementation (Systems on Silicon)
by Ran Giladi
ISBN 13: 9780123708915
Format: Illustrated (688 pages) Publisher: Morgan Kaufmann Published: 29 Aug 2008
FPGA Prototyping by VHDL Examples: Xilinx Spartan-3 Version
by Pong P. Chu
ISBN 13: 9780470185315
Format: Hardcover (468 pages) Publisher: Wiley-Interscience Published: 14 Mar 2008
Agents for Games and Simulations: Trends in Techniques, Concepts and Design (Lecture Notes in Computer Science)
by Frank Dignum, Jeff Bradshaw, Barry G. Silverman, Willem van Doesburg
ISBN 13: 9783642111976
Format: Paperback (273 pages) Publisher: Springer Published: 21 Dec 2009
Com and CORBA Side by Side: Architectures, Strategies, and Implementations
by Jason Pritchard
ISBN 13: 9780201379457
Format: CD (464 pages) Publisher: Pearson Technology Group Published: 02 Feb 2008
VLSI Risc Architecture and Organization: 56 (Electrical and Computer Engineering)
by S.B. Furber
ISBN 13: 9780824781514
Format: Illustrated (392 pages) Publisher: CRC Press Published: 31 Mar 1989
Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers: 4940 (Lecture Notes in Computer Science)
by Jan Gulliksen
ISBN 13: 9783540926979
Format: Illustrated (656 pages) Publisher: Springer Published: 18 Dec 2008
Multi-Agent Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Pieter J. Mosterman, Adelinde M. Uhrmacher, Danny Weyns
ISBN 13: 9781420070231
Format: Hardcover (566 pages) Publisher: CRC Press Published: 03 Jun 2009
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... 200: 1785 (Lecture Notes in Computer Science)
by Susanne Graf,Michael Schwartzbach
ISBN 13: 9783540672821
Format: Paperback (570 pages) Publisher: Springer Published: 15 Mar 2000
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology)
by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
ISBN 13: 9783642038280
Format: Paperback (339 pages) Publisher: Springer Published: 17 Aug 2009
The Sourcebook of Parallel Computing (The Morgan Kaufmann Series in Computer Architecture and Design)
by Jack Dongarra,Ian Foster,Geoffrey C. Fox Dr.,William Gropp,Ken Kennedy,Linda Torczon,Andy White
ISBN 13: 9781558608719
Format: Hardcover (842 pages) Publisher: Morgan Kaufmann Published: 24 Nov 2002