Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... / Programming and Software Engineering)
by
ISBN 13: 9783540691471
Format: Paperback (546 pages) Publisher: Springer Published: 07 Jul 2008 Other Format: Paperback
Save for later
Robot Behaviour: Design, Description, Analysis and Modelling
by Ulrich Nehmzow
ISBN 13: 9781848003965
Format: Paperback (252 pages) Publisher: Springer Published: 28 Nov 2008
Parallel Scientific Computing in C++ and MPI: A Seamless Approach to Parallel Algorithms and their Implementation
by George Em Karniadakis,Robert M. Kirby II
ISBN 13: 9780521520805
Format: Paperback (630 pages) Publisher: Cambridge University Press Published: 16 Jun 2003
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
by Steven Vickers
ISBN 13: 9780521576512
Format: Paperback (220 pages) Publisher: Cambridge University Press Published: 22 Aug 1996
Understanding Concurrent Systems (Texts in Computer Science)
by A.W. Roscoe
ISBN 13: 9781848822573
Format: Hardcover (533 pages) Publisher: Springer Published: 25 Oct 2010
Damage Models and Algorithms for Assessment of Structures Under Operation Conditions (Structures and Infrastructures)
ISBN 13: 9780415421959
Format: Hardcover (340 pages) Publisher: CRC Press Published: 17 Sep 2009
Algorithmic Randomness and Complexity (Theory and Applications of Computability)
by Rodney G. Downey,Denis R. Hirschfeldt
ISBN 13: 9780387955674
Format: Hardcover (855 pages) Publisher: Springer Published: 05 Nov 2010
Pro SQL Server 2005 Reporting Services
by Rodney Landrum,Walter J. Voytek II
ISBN 13: 9781590594988
Format: Paperback (400 pages) Publisher: APRESS Published: 01 Oct 2005
Machine Learning for Multimodal Interaction: Second International Workshop, MLMI 2005, Edinburgh, UK, July 11-13, 2005, Revised Selected Papers ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540325499
Format: Paperback (503 pages) Publisher: Springer Published: 13 Feb 2006
ECSCW 2005: Proceedings of the Ninth European Conference on Computer-Supported Cooperative Work, 18-22 September 2005, Paris, France
ISBN 13: 9781402040221
Format: Hardcover (489 pages) Publisher: Springer Published: 14 Sep 2005
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540372158
Format: Paperback (620 pages) Publisher: Springer Published: 10 Aug 2006
Machine Learning Challenges: Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540334279
Format: Paperback (475 pages) Publisher: Springer Published: 11 May 2006