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
Save for later
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
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
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)
by Anupam Datta
ISBN 13: 9783642106217
Format: Paperback (159 pages) Publisher: Springer Published: 24 Nov 2009
Network Processors: Architecture, Programming, and Implementation (Systems on Silicon)
by Ran Giladi
ISBN 13: 9780123708915
Format: Illustrated (688 pages) Publisher: Morgan Kaufmann Published: 29 Aug 2008
A Modular Calculus for the Average Cost of Data Structuring: Efficiency-oriented Programming in Moqa
by Michel Schellekens
ISBN 13: 9780387733838
Format: Hardcover (272 pages) Publisher: Springer Published: 30 Jul 2008
Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)
by Andrew M. Pitts Edited by Andrew D. Gordon
ISBN 13: 9780521631686
Format: Hardcover (400 pages) Publisher: Cambridge University Press Published: 22 Jan 1998
VLSI Risc Architecture and Organization: 56 (Electrical and Computer Engineering)
by S.B. Furber
ISBN 13: 9780824781514
Format: Illustrated (392 pages) Publisher: CRC Press Published: 31 Mar 1989
Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)
by Gheorghe Paun
ISBN 13: 9783642114663
Format: Illustrated (500 pages) Publisher: Springer Published: 12 Jan 2010