Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings
by Michael Leuschel, Heike Wehrheim
ISBN 13: 9783642002540
Format: Paperback (367 pages) Publisher: Springer Published: 02 Feb 2009
Save for later
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)
by Marco Bernardo
ISBN 13: 9783540724827
Format: Illustrated (484 pages) Publisher: Springer Published: 28 Jun 2007
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979: No. 70 (Lecture Notes in Computer Science)
by G. Kahn
ISBN 13: 9783540095118
Format: Paperback (380 pages) Publisher: Springer Published: 01 Jun 1979
Embedded Systems Building Blocks: Complete and Ready-to-Use Modules in C
by Jean J. Labrosse
ISBN 13: 9780879306045
Format: Hardcover (640 pages) Publisher: CRC Press Published: 12 Jan 1999
Parallel Distributed Processing, Volume 2: Explorations in the Microstructure of Cognition: Psychological and Biological Models
by James L. L. Mcclelland, David E. Rumelhart,PDP Research Group
ISBN 13: 9780262631105
Format: Paperback (630 pages) Publisher: MIT Press Published: 01 Jan 1986 Other Format: Paperback
Advances in Computation and Intelligence: 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, . . . ... 5821 (Lecture Notes in Computer Science)
by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu
ISBN 13: 9783642048425
Format: Paperback (554 pages) Publisher: Springer Published: 05 Oct 2009
The Cultural Logic of Computation
by D Golumbia
ISBN 13: 9780674032927
Format: Hardcover (272 pages) Publisher: Harvard University Press Published: 17 Apr 2009
Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science Series)
by Michael Alexander, William Gardner
ISBN 13: 9781420064865
Format: Hardcover (440 pages) Publisher: Chapman and Hall/CRC Published: 22 Dec 2008
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems
by Mohammed S. Obaidat,Noureddine A. Boudriga
ISBN 13: 9780471269830
Format: Hardcover (480 pages) Publisher: Wiley-Interscience Published: 04 Mar 2010
Intellectual Property and Open Source: A Practical Guide to Protecting Code
by Van Lindberg
ISBN 13: 9780596517960
Format: Paperback (390 pages) Publisher: O′Reilly Published: 25 Jul 2008
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek,Jean-Jacques Lévy
ISBN 13: 9780857290755
Format: Paperback (118 pages) Publisher: Springer Published: 15 Dec 2010