Advances in Formal Design Methods for CAD (IFIP International Federation for Information Processing): Proceedings of the IFIP WG5.2 Workshop on Formal ... in Information and Communication Technology)
by Asko Riitahuhta,Fay Sudweeks
ISBN 13: 9780412727108
Format: Hardcover (316 pages) Publisher: Springer Published: 29 Feb 1996
Save for later
Swarm Intelligence (The Morgan Kaufmann Series in Artificial Intelligence)
by Russell C. Eberhart,Yuhui Shi,James Kennedy
ISBN 13: 9781558605954
Format: Illustrated (512 pages) Publisher: Morgan Kaufmann Published: 11 Apr 2001
Purely Functional Data Structures
by Chris Okasaki
ISBN 13: 9780521663502
Format: Paperback (220 pages) Publisher: Cambridge University Press Published: 13 Jun 1999
Algorithmic Foundations of Robotics VIII: Selected Contributions of the Eighth International Workshop on the Algorithmic Foundations of Robotics: ... (Springer Tracts in Advanced Robotics)
by
ISBN 13: 9783642003110
Format: Hardcover (680 pages) Publisher: Springer Published: 04 Feb 2010
Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8 - 9, 1994. Proceedings: 890 (Lecture Notes in Computer Science)
by Michael J. Wooldridge,Nicholas R. Jennings
ISBN 13: 9783540588559
Format: Paperback (424 pages) Publisher: Springer Published: 26 Jan 1995
Cybernetic Trading Strategies: Developing a Profitable Trading System with State-Of-The-Art Technologies: 68 (Wiley Finance)
by Murray Ruggerio,Murray A. Ruggiero
ISBN 13: 9780471149200
Format: Illustrated (340 pages) Publisher: John Wiley & Sons Published: 17 Jun 1997
Stochastic Learning and Optimization: A Sensitivity-Based Approach (International Series on Discrete Event Dynamic Systems)
by Xi-Ren Cao
ISBN 13: 9780387367873
Format: Hardcover (566 pages) Publisher: Springer Published: 05 Nov 2007
Finite Markov Chains and Algorithmic Applications (London Mathematical Society Student Texts)
by Olle Häggström
ISBN 13: 9780521890014
Format: Paperback (124 pages) Publisher: Cambridge University Press Published: 30 May 2002
Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery (The Morgan Kaufmann Series in Data Management Systems)
by Gerhard Weikum,Gottfried Vossen
ISBN 13: 9781558605084
Format: Hardcover (852 pages) Publisher: Morgan Kaufmann Published: 30 May 2001
Godel, Escher, Bach: An Eternal Golden Braid
by Douglas Hofstadter
ISBN 13: 9780465026562
Format: Illustrated (777 pages) Publisher: Basic Books Published: 15 Jan 1999 Other Format: Paperback
Speech, Audio, Image and Biomedical Signal Processing using Neural Networks: 83 (Studies in Computational Intelligence)
by Bhanu Prasad,S.R.M. Prasanna
ISBN 13: 9783540753971
Format: Hardcover (432 pages) Publisher: Springer Published: 03 Jan 2008
A Course in Computational Algebraic Number Theory: 138 (Graduate Texts in Mathematics, 138)
by Henri Cohen
ISBN 13: 9783540556404
Format: Big Book (557 pages) Publisher: Springer Published: 05 Aug 1993