Engineering Methods in the Service-Oriented Context: 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, ... in Information and Communication Technology)
by
ISBN 13: 9783642199967
Format: Hardcover (242 pages) Publisher: Springer Published: 23 Mar 2011
Save for later
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
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)
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
High Performance Computing: Programing and Applications (Chapman & Hall/CRC Computational Science)
by John Levesque,Gene Wagenbreth
ISBN 13: 9781420077056
Format: Hardcover (244 pages) Publisher: Chapman and Hall/CRC Published: 22 Dec 2010
Specification of Software Systems (Texts in Computer Science)
by V.S. Alagar,K. Periyasamy
ISBN 13: 9780857292766
Format: Hardcover (669 pages) Publisher: Springer Published: 28 Mar 2011
Mining Software Specifications: Methodologies and Applications (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
ISBN 13: 9781439806265
Format: Hardcover (460 pages) Publisher: CRC Press Published: 17 Jun 2011
A Theory of Computer Semiotics: Semiotic Approaches to Construction and Assessment of Computer Systems: 3 (Cambridge Series on Human-Computer Interaction, Series Number 3)
by Peter Bøgh Andersen
ISBN 13: 9780521393362
Format: Hardcover (458 pages) Publisher: Cambridge University Press Published: 25 Jan 1991
Advanced Simulation and Test Methodologies for VLSI Design (Reading Women Writing)
by Gordon Russell,Ian L. Sayers,I. L. Sayers
ISBN 13: 9780747600015
Format: Illustrated (396 pages) Publisher: Springer Published: 28 Feb 1989
Fundamentals of Information Theory and Coding Design (Discrete Mathematics and Its Applications)
by Roberto Togneri,Christopher J.S deSilva
ISBN 13: 9781584883104
Format: Hardcover (385 pages) Publisher: Chapman and Hall/CRC Published: 13 Jan 2003
Advances in Neural Networks -- ISNN 2011: 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings, ... Computer Science and General Issues)
ISBN 13: 9783642210891
Format: Paperback (668 pages) Publisher: Springer Published: 10 May 2011