Logic in Computer Science: Modelling and Reasoning about Systems
by Huth, Michael Michael Huth,
ISBN 13: 9780521543101
Format: paperback Publisher: Cambridge University Press
Save for later
FPGA Prototyping By Verilog Examples: Xilinx Spartan-3 Version
by Pong P. Chu
ISBN 13: 9780470185322
Format: Hardcover (528 pages) Publisher: Wiley-Interscience Published: 18 Jul 2008
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
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
High Performance Computing on Vector Systems 2007
by
ISBN 13: 9783540743835
Format: Hardcover (267 pages) Publisher: Springer Published: 17 Oct 2007
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540746089
Format: Paperback (470 pages) Publisher: Springer Published: 28 Aug 2007
Software Architectures, Components, and Applications: Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, ... / Programming and Software Engineering)
ISBN 13: 9783540776178
Format: Paperback (251 pages) Publisher: Springer Published: 23 Jan 2008
The Semantic Web - ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings (Lecture Notes ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540297543
Format: Paperback (1096 pages) Publisher: Springer Published: 04 Nov 2005
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540488156
Format: Paperback (386 pages) Publisher: Springer Published: 30 Oct 2006
System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised ... Networks and Telecommunications)
ISBN 13: 9783540683711
Format: Paperback (239 pages) Publisher: Springer Published: 07 Dec 2006
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783540799795
Format: Paperback (432 pages) Publisher: Springer Published: 15 Jul 2008
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings: 4th International Joint ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540710691
Format: Paperback (556 pages) Publisher: Springer Published: 25 Jul 2008