Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
by Michael G. Hinchey
ISBN 13: 9781852336400
Format: Illustrated (420 pages) Publisher: Springer Published: 17 Sep 1999
Save for later
The Digital Signal Processing Handbook (Electrical Engineering Handbook)
by VIJAY MADISETTI
ISBN 13: 9781420045635
Format: Hardcover (2394 pages) Publisher: CRC Press Published: 22 Dec 2009
Circuit and Interconnect Design for RF and High Bit-rate Applications (Analog Circuits and Signal Processing)
by Veenstra
ISBN 13: 9781402068829
Format: Hardcover (260 pages) Publisher: Springer Published: 03 Jul 2008
Handbook of Natural Language Processing (Chapman & Hall/CRC Machine Learning & Pattern Recognition)
by Nitin Indurkhya,Fred J. Damerau
ISBN 13: 9781420085921
Format: Illustrated (702 pages) Publisher: Chapman and Hall/CRC Published: 22 Feb 2010
Automating Science and Engineering Laboratories with Visual Basic: 8 (Wiley-Interscience Series on Laboratory Automation)
by Mark F. Russo
ISBN 13: 9780471254935
Format: Illustrated (380 pages) Publisher: Wiley-Interscience Published: 14 Apr 1999
Nano-Net: 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009, Proceedings (Lecture Notes of the Institute ... and Telecommunications Engineering)
by Alexandre Schmid,Sanjay Goel,Wei Wang,Valeriu Beiu,Sandro Carrara
ISBN 13: 9783642048494
Format: Paperback (304 pages) Publisher: Springer Published: 06 Oct 2009
Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)
by Nancy A. Lynch
ISBN 13: 9781558603486
Format: Hardcover (904 pages) Publisher: Morgan Kaufmann Published: 16 Apr 1996
Neural Information Processing: 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues)
by Chi-Sing Leung, Minho Lee, Jonathan H. Chan
ISBN 13: 9783642106828
Format: Paperback (888 pages) Publisher: Springer Published: 24 Nov 2009
Theory and Design of Digital Computer Systems
by Douglas Lewin
ISBN 13: 9780412428807
Format: Paperback (512 pages) Publisher: Springer Published: Nov 1992
Digital Logic Design
by BRIAN HOLDSWORTH
ISBN 13: 9780750645829
Format: Paperback (534 pages) Publisher: Newnes Published: 17 Apr 2000 Other Format: Paperback
Model-based Design for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Gabriela Nicolescu, Pieter J. Mosterman
ISBN 13: 9781420067842
Format: Hardcover (766 pages) Publisher: CRC Press Published: 24 Nov 2009
High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 2009, Procceding: 5409 (Lecture Notes in Computer Science)
by Andre Seznec
ISBN 13: 9783540929895
Format: Paperback (436 pages) Publisher: Springer Published: 13 Feb 2009