Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
by
ISBN 13: 9783540733676
Format: Paperback (562 pages) Publisher: Springer Published: 02 Jul 2007
Save for later
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)
ISBN 13: 9783540779643
Format: Paperback (267 pages) Publisher: Springer Published: 01 Feb 2008
Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540790020
Format: Paperback (331 pages) Publisher: Springer Published: 08 Apr 2008
Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... / Programming and Software Engineering)
ISBN 13: 9783540688549
Format: Paperback (341 pages) Publisher: Springer Published: 27 May 2008
Eda for IC Implementation, Circuit Design, and Processtechnology (Electronic Design Automation for Integrated Circuits)
ISBN 13: 9780849379246
Format: Hardcover (608 pages) Publisher: CRC Press Published: 23 Mar 2006
Feedback, Nonlinear, and Distributed Circuits (Circuits and Filters Handbook, 3rd Edition)
ISBN 13: 9781420058819
Format: Hardcover (466 pages) Publisher: CRC Press Published: 30 Jun 2009
The VHDL Reference: A Practical Guide to Computer-aided Integrated Circuit Design Including VHDL-AMS (Progress in Mycotoxins Research)
by Ulrich Heinkel,Wolfram Glauert,M. Padeffke,M. Wahl
ISBN 13: 9780471899723
Format: Hardcover (440 pages) Publisher: John Wiley and Sons Ltd Published: 06 Apr 2000
Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning: 2636 (Lecture Notes in Computer Science)
by Daniel Kudenko,Eduardo Alonso,Dimitar Kazakov
ISBN 13: 9783540400684
Format: Paperback (344 pages) Publisher: Springer Published: 13 Jun 2008
Vehicular Networks from Theory to Practice (Chapman & Hall/CRC Computer & Information Science Series) (CRC Computer and Information Science Series)
by Sartaj Sahni, Stephan Olariu, Michele C. Weigle
ISBN 13: 9781420085884
Format: Hardcover (472 pages) Publisher: Chapman & Hall Published: 17 Mar 2009
Introduction to Discrete-time Signals and Systems
by R.I. Damper
ISBN 13: 9780412476501
Format: Illustrated (288 pages) Publisher: Springer Published: 30 Jun 1995
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
by Hanne Riis Nielson,Flemming Nielson
ISBN 13: 9781846286919
Format: Paperback (288 pages) Publisher: Springer London Published: 27 Apr 2007
The Semantic Web: 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings: 5367 (Lecture Notes in Computer Science)
by John Domingue, Chutiporn Anutariya
ISBN 13: 9783540897033
Format: Paperback (556 pages) Publisher: Springer Published: 24 Nov 2008