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
Save for later
Approximation Algorithms
by Vijay V. Vazirani
ISBN 13: 9783540653677
Format: Hardcover (256 pages) Publisher: Springer Published: 02 Jul 2001
Affective Computing
by RW Picard
ISBN 13: 9780262661157
Format: Paperback (304 pages) Publisher: MIT Press Published: 14 Sep 2000
Computability Theory (Chapman & Hall/CRC Mathematics)
by S. Barry Cooper
ISBN 13: 9781584882374
Format: Hardcover (424 pages) Publisher: Chapman and Hall/CRC Published: 17 Nov 2003
Systems and Software Verification: Model-Checking Techniques and Tools
by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen
ISBN 13: 9783540415237
Format: Hardcover (196 pages) Publisher: Springer Published: 20 Jun 2001
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
by Yves Bertot,Pierre Castéran
ISBN 13: 9783540208549
Format: Hardcover (500 pages) Publisher: Springer Published: 14 May 2004
Learning Theory: An Approximation Theory Viewpoint (Cambridge Monographs on Applied and Computational Mathematics)
by Felipe Cucker,Ding Xuan Zhou
ISBN 13: 9780521865593
Format: Hardcover (236 pages) Publisher: Cambridge University Press Published: 29 Mar 2007
Exploratory Data Mining and Data Cleaning (Wiley Series in Probability and Statistics)
by Tamraparni Dasu,Theodore Johnson
ISBN 13: 9780471268512
Format: Hardcover (224 pages) Publisher: Wiley-Blackwell Published: 10 Jun 2003
Handbook of Mathematical Models in Computer Vision
by
ISBN 13: 9780387263717
Format: Hardcover (605 pages) Publisher: Springer Published: 16 Dec 2005
New Frontiers in Artificial Intelligence: JSAI 2006 Conference andWorkshops: 4384 (Lecture Notes in Computer Science)
by Takashi Washio,Hideaki Takeda,Ken Satoh,Akihiro Inokuchi
ISBN 13: 9783540699019
Format: Paperback (416 pages) Publisher: Springer Berlin Heidelberg Published: 02 Jun 2010
New Frontiers for Entertainment Computing: IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium (ECS 2008), September 7-10, ... in Information and Communication Technology)
by Paolo Ciancarini, Ryohei Nakatsu, Matthias Rauterberg, Marco Roccetti
ISBN 13: 9780387097008
Format: Hardcover (138 pages) Publisher: Springer Published: 21 Jul 2008
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)
by Philippe Audebaud
ISBN 13: 9783540705932
Format: Paperback (436 pages) Publisher: Springer Published: 15 Aug 2008