Software Engineering 2: Specification of Systems and Languages: v. 2 (Texts in Theoretical Computer Science. An EATCS Series)
by Dines Bjørner
ISBN 13: 9783540211501
Format: Hardcover (804 pages) Publisher: Springer Published: 22 Feb 2006 Other Format: Hardcover
Save for later
Cryptographic Hardware and Embedded Systems - CHES 2007: 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
by
ISBN 13: 9783540747345
Format: Paperback (482 pages) Publisher: Springer Published: 28 Aug 2007
Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers ... / Programming and Software Engineering)
ISBN 13: 9783642194399
Format: Paperback (428 pages) Publisher: Springer Published: 23 Feb 2011
Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642194856
Format: Paperback (164 pages) Publisher: Springer Published: 16 Mar 2011
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540899815
Format: Paperback (844 pages) Publisher: Springer Published: 02 Dec 2008
GPU Computing Gems Emerald Edition (Applications of GPU Computing Series)
ISBN 13: 9780123849885
Format: Hardcover (886 pages) Publisher: Morgan Kaufmann Published: 21 Mar 2011
Achieving Extreme Performance with Oracle Exadata (Osborne Oracle Press Series)
by Rick Greenwald,Robert Stackowiak,Maqsood Alam,Mans Bhuller
ISBN 13: 9780071752596
Format: Paperback (432 pages) Publisher: McGraw-Hill Osborne Published: 01 Mar 2011
Fundamental Concepts in Electrical and Computer Engineering with Practical Design Problems (Second Edition)
by Reza Adhami,III Peter M. Meenen,Denis Hite
ISBN 13: 9781581129717
Format: Paperback (736 pages) Publisher: Dissertation.com Published: 20 Aug 2007
Applications of Geometric Algebra in Computer Science and Engineering
ISBN 13: 9780817642679
Format: Hardcover (478 pages) Publisher: Birkhauser Published: 01 Mar 2002
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540251088
Format: Paperback (684 pages) Publisher: Springer Published: 04 Mar 2005
IUTAM Symposium on Fluid-Structure Interaction in Ocean Engineering: Proceedings of the IUTAM Symposium held in Hamburg, Germany, July 23-26, 2007 (IUTAM Bookseries)
ISBN 13: 9781402086298
Format: Hardcover (326 pages) Publisher: Springer Published: 23 Jun 2008
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa
ISBN 13: 9780857290175
Format: Paperback (320 pages) Publisher: Springer Published: 07 Jan 2011