Algorithmic Architecture
by Kostas Terzidis
ISBN 13: 9780750667258
Format: Paperback (176 pages) Publisher: Routledge Published: 10 May 2006
Save for later
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
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
Perception and Interactive Technologies: International Tutorial and Research Workshop, Kloster Irsee, PIT 2006, Germany, June 19-21, 2006 (Lecture ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540347439
Format: Paperback (217 pages) Publisher: Springer Published: 12 Jun 2006
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
by Christopher A. Rouff,Michael G. Hinchey,James Rash,Walter Truszkowski,Diana Gordon-Spears
ISBN 13: 9781852339470
Format: Hardcover (360 pages) Publisher: Springer Published: 26 Oct 2005
Distributed Computing: 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783540426059
Format: Paperback (343 pages) Publisher: Springer Published: 19 Sep 2001