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
Logic Functions and Equations: Examples and Exercises
by Bernd Steinbach,Christian Posthoff
ISBN 13: 9781402095948
Format: Hardcover (254 pages) Publisher: Springer Published: 12 Feb 2009
Beautiful Architecture: Leading Thinkers Reveal the Hidden Beauty in Software Design
by Diomidis Spinellis,Georgios Gousios
ISBN 13: 9780596517984
Format: Illustrated (426 pages) Publisher: O′Reilly Published: 20 Jan 2009
Foundation Mathematics
by K.A. StroudDexter J. Booth,
ISBN 13: 9780230579071
Format: paperback Publisher: Red Globe Press
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 19th International Workshop, PATMOS 2009, Delft, The ... 5953 (Lecture Notes in Computer Science)
by Jose Monteiro
ISBN 13: 9783642118012
Format: Illustrated (384 pages) Publisher: Springer Published: 18 Feb 2010
Modeling Decisions for Artificial Intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings: 5861 (Lecture Notes in Computer Science)
by Yasuo Narukawa,Masahiro Inuiguchi
ISBN 13: 9783642048197
Format: Paperback (388 pages) Publisher: Springer Published: 03 Nov 2009
Discrete Mathematics: Proofs, Structures and Applications, Third Edition
by Rowan Garnier,John Taylor
ISBN 13: 9781439812808
Format: Hardcover (843 pages) Publisher: CRC Press Published: 09 Nov 2009
Advanced FPGA Design: Architecture, Implementation, and Optimization (IEEE Press)
by Steve Kilts
ISBN 13: 9780470054376
Format: Illustrated (354 pages) Publisher: John Wiley & Sons Published: 13 Jun 2007
Enterprise Integration w/WS (OMG): An Architecture for Enterprise Application and Systems Integration: 14
by Fred A. Cummins
ISBN 13: 9780471400103
Format: Illustrated (500 pages) Publisher: John Wiley & Sons Published: 01 Mar 2002
Network-on-Chip Architectures: A Holistic Design Exploration: 45 (Lecture Notes in Electrical Engineering)
by Chrysostomos Nicopoulos,Vijaykrishnan Narayanan,Chita R. Das
ISBN 13: 9789048130306
Format: Hardcover (248 pages) Publisher: Springer Published: 07 Oct 2009
Processor Description Languages (Systems on Silicon): Applications and Methodologies: Volume 1
by Prabhat Mishra,Nikil Dutt
ISBN 13: 9780123742872
Format: Illustrated (432 pages) Publisher: Morgan Kaufmann Published: 09 Jul 2008
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