Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
by Hanne Riis Nielson,Flemming Nielson
ISBN 13: 9781846286919
Format: Paperback (288 pages) Publisher: Springer London Published: 27 Apr 2007
Save for later
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
by Krzysztof R. Apt,Frank S. de Boer,Ernst-Rüdiger Olderog
ISBN 13: 9781848827448
Format: Hardcover (502 pages) Publisher: Springer Published: 02 Oct 2009
Principles of Concurrent and Distributed Programming: Algorithms and Models (Prentice-Hall International Series in Computer Science)
by M. Ben-Ari
ISBN 13: 9780321312839
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 29 Nov 2005
Artificial Intelligence and Software Engineering: Understanding the Promise of the Future
by Derek Partridge
ISBN 13: 9781579580629
Format: Hardcover (375 pages) Publisher: Routledge Published: 01 Jan 1998
Bayesian Nets and Causality: Philosophical and Computational Foundations
by Jon Williamson
ISBN 13: 9780198530794
Format: Hardcover (250 pages) Publisher: OUP Oxford Published: 23 Dec 2004
Sensitivity Analysis for Neural Networks (Natural Computing Series)
by Daniel S. Yeung,Ian Cloete,Daming Shi,Wing W. Y. Ng
ISBN 13: 9783642025310
Format: Hardcover (86 pages) Publisher: Springer Published: 18 Nov 2009
Fundamentals of Three-dimensional Digital Image Processing
by Junichiro Toriwaki,Hiroyuki Yoshida
ISBN 13: 9781848001725
Format: Hardcover (272 pages) Publisher: Springer Published: 04 May 2009
Unicode Explained
by Jukka K. Korpela
ISBN 13: 9780596101213
Format: Paperback (688 pages) Publisher: O'Reilly Media Published: 21 Jun 2006
Differential Evolution: A Practical Approach to Global Optimization (Natural Computing Series)
by Kenneth Price,Rainer M. Storn,Jouni A. Lampinen
ISBN 13: 9783540209508
Format: Hardcover (538 pages) Publisher: Springer Published: 13 Dec 2005
Game Theoretic Problems in Network Economics and Mechanism Design Solutions (Advanced Information and Knowledge Processing)
by Y. Narahari,Dinesh Garg,Ramasuri Narayanam,Hastagiri Prakash
ISBN 13: 9781848009370
Format: Hardcover (274 pages) Publisher: Springer Published: 12 Feb 2009
Stochastic Simulation: Algorithms and Analysis: 57 (Stochastic Modelling and Applied Probability)
by Søren Asmussen,Peter W. Glynn
ISBN 13: 9780387306797
Format: Hardcover (482 pages) Publisher: Springer Published: 23 Aug 2007
Approximation Algorithms
by Vijay V. Vazirani
ISBN 13: 9783540653677
Format: Hardcover (256 pages) Publisher: Springer Published: 02 Jul 2001