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
Sustainable IT Architecture: The Progressive Way of Overhauling Information Systems with SOA: 369 (ISTE)
by P. Bonnet
ISBN 13: 9781848210899
Format: Hardcover (384 pages) Publisher: Wiley-Blackwell Published: 17 Apr 2009
INTRODUCTION TO QUANTUM STATISTICAL MECHANICS (2ND EDITION)
by N N Bogolubov,N N Bogolubov Jr
ISBN 13: 9789814295826
Format: Paperback (440 pages) Publisher: World Scientific Publishing Company Published: 11 Feb 2010 Other Format: Illustrated
Distributed Applications Engineering: Building New Applications and Managing Legacy Applications with Distributed Technologies (Practitioner Series)
by Indrajit Wijegunaratne
ISBN 13: 9783540762102
Format: Paperback (292 pages) Publisher: Springer-Verlag Published: 01 Jan 1998
Distributed .NET Programming in VB .NET (.Net Developer)
by Tom Barnaby
ISBN 13: 9781590590683
Format: Illustrated (532 pages) Publisher: Apress Published: 01 Oct 2002
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
Technologies for E-Learning and Digital Entertainment: Third International Conference, Edutainment 2008, Nanjing, China, June 25-27, 2008, Proceedings: 5093 (Lecture Notes in Computer Science)
by Zhigeng Pan
ISBN 13: 9783540697343
Format: Paperback (816 pages) Publisher: Springer Published: 07 Jul 2008
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)
by Dexter Kozen,Carron Shankland
ISBN 13: 9783540223801
Format: Illustrated (416 pages) Publisher: Springer Published: 24 Jun 2004
New Applications in IT Standards: Developments and Progress (Advances in It Standards and Standardization Research (Aissr)
by Kai Jakobs
ISBN 13: 9781605669465
Format: Illustrated (370 pages) Publisher: IGI Global Published: 15 Nov 2009