Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783642049118
Format: Paperback (176 pages) Publisher: Springer Published: 26 Oct 2009
Save for later
Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning: 2636 (Lecture Notes in Computer Science)
by Daniel Kudenko,Eduardo Alonso,Dimitar Kazakov
ISBN 13: 9783540400684
Format: Paperback (344 pages) Publisher: Springer Published: 13 Jun 2008
Communities and Technologies: Proceedings of the Third Communities and Technologies Conference, Michigan State University 2007
by Charles Steinfield, Brian T. Pentland, Mark Ackerman, Noshir Contractor
ISBN 13: 9781846289040
Format: Hardcover (566 pages) Publisher: Springer Published: 16 Jul 2007
Program Construction: 22 (Cambridge Computer Science Texts, Series Number 22)
by R. G. Stone
ISBN 13: 9780521318839
Format: Paperback (384 pages) Publisher: Cambridge University Press Published: 21 Aug 2008
UbiComp 2007: Ubiquitous Computing: 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007, Proceedings: 4717 (Lecture Notes in Computer Science)
by John Krumm
ISBN 13: 9783540748526
Format: Illustrated (548 pages) Publisher: Springer Published: 09 Nov 2007
Practical Design Verification
by Dhiraj K. Pradhan,Ian G. Harris
ISBN 13: 9780521859721
Format: Illustrated (288 pages) Publisher: Cambridge University Press Published: 11 Jun 2009
Euro-Par 2006 Workshops: Parallel Processing: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, ... 4375 (Lecture Notes in Computer Science)
by Wolfgang Lehner
ISBN 13: 9783540722267
Format: Paperback (356 pages) Publisher: Springer Published: 11 Jul 2007
Learning UML 2.0: A Pragmatic Introduction to UML
by Russell Miles,Kim Hamilton
ISBN 13: 9780596009823
Format: Paperback (286 pages) Publisher: O′Reilly Published: 05 May 2006
Implementing Electronic Document and Record Management Systems
by Azad Adam
ISBN 13: 9780849380594
Format: Illustrated (280 pages) Publisher: Auerbach Publications Published: 24 Aug 2007
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
by T. F. Melham
ISBN 13: 9780521417181
Format: Hardcover (179 pages) Publisher: Cambridge University Press Published: 11 Nov 1993
Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle (Human-Computer Interaction Series)
ISBN 13: 9781402040276
Format: Hardcover (391 pages) Publisher: Springer Published: 08 Dec 2005
Building XNA 2.0 Games: A Practical Guide for Independent Game Development (Books for Professionals by Professionals)
by James Silva,John Sedlak
ISBN 13: 9781430209799
Format: Paperback (450 pages) Publisher: APRESS Published: 17 Sep 2008