Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)
by Jim Woodcock, Natarajan Shankar
ISBN 13: 9783540878728
Format: Paperback (263 pages) Publisher: Springer Published: 22 Sep 2008
Save for later
An Introduction to the Analysis of Algorithms
by SOLTYS MICHAEL
ISBN 13: 9789814271400
Format: Illustrated (150 pages) Publisher: World Scientific Publishing Company Published: 14 Dec 2009
Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC
by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi
ISBN 13: 9781420044713
Format: Hardcover (288 pages) Publisher: CRC Press Published: 17 Sep 2008
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
Correct Systems: Building a Business Process Solution (Applied Computing)
by Mike Holcombe, Florentin Ipate
ISBN 13: 9783540762461
Format: Paperback (206 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: Sep 1998
Principles of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9781848820319
Format: Illustrated (171 pages) Publisher: Springer Published: 13 Mar 2009
Three-dimensional Integrated Circuit Design (Systems on Silicon)
by Vasilis F. Pavlidis
ISBN 13: 9780123743435
Format: Illustrated (326 pages) Publisher: Morgan Kaufmann Published: 06 Nov 2008
Manufacturing Execution Systems (MES): Optimal Design, Planning, and Deployment
by Heiko Meyer,Franz Fuchs,Klaus Thiel
ISBN 13: 9780071623834
Format: Illustrated (274 pages) Publisher: McGraw-Hill Education Published: 01 Apr 2009
Models of Network Reliability
by Ilya B. Gertsbakh, Yoseph Shpungin
ISBN 13: 9781439817414
Format: Hardcover (217 pages) Publisher: CRC Press Published: 22 Dec 2009
Eda for IC Implementation, Circuit Design, and Processtechnology (Electronic Design Automation for Integrated Circuits)
by
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
Building Web Applications with C# and .NET: A Complete Reference
by Dudley W. Gill
ISBN 13: 9780849312502
Format: Illustrated (760 pages) Publisher: CRC Press Published: 02 Dec 2002