Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
by André Platzer
ISBN 13: 9783642145087
Format: Hardcover (426 pages) Publisher: Springer Published: 05 Sep 2010
Save for later
Real Sound Synthesis for Interactive Applications
by Perry R. Cook
ISBN 13: 9781568811680
Format: Paperback (263 pages) Publisher: A K Peters/CRC Press Published: 01 Jul 2002
Thoughts and Utterances: The Pragmatics of Explicit Communication
by Robyn Carston
ISBN 13: 9780631214885
Format: Paperback (432 pages) Publisher: Wiley-Blackwell Published: 12 Sep 2002
Exploration of Visual Data (The International Series in Video Computing)
by Sean Xiang Zhou,Yong Rui,Thomas S. Huang
ISBN 13: 9781402075698
Format: Hardcover (208 pages) Publisher: Springer Published: 30 Sep 2003
Knowledge Discovery and Measures of Interest (The Springer International Series in Engineering and Computer Science)
by Robert J. Hilderman,Howard J. Hamilton
ISBN 13: 9780792375074
Format: Hardcover (184 pages) Publisher: Springer Published: 30 Sep 2001
Intelligent Complex Adaptive Systems
by
ISBN 13: 9781599047171
Format: Hardcover (352 pages) Publisher: IGI Publishing Published: 15 Feb 2008
Learning to Classify Text Using Support Vector Machines: Methods, Theory and Algorithms (The Springer International Series in Engineering and Computer Science)
by Thorsten Joachims
ISBN 13: 9780792376798
Format: Hardcover (228 pages) Publisher: Springer Published: 30 Apr 2002
Philosophy and Computer Science (Explorations in Philosophy)
by Timothy Colburn
ISBN 13: 9781563249914
Format: Paperback (224 pages) Publisher: M.E. Sharpe Published: 31 Aug 1999
Handbook of Real-Time and Embedded Systems (Chapman & Hall/Crc Computer & Information Science Series) (CRC Computer and Information Science Series)
ISBN 13: 9781584886785
Format: Hardcover (800 pages) Publisher: Chapman and Hall/CRC Published: 23 Jul 2007
Handbook of Dynamic System Modeling (Computer and Information Sciences) (CRC Computer and Information Science Series)
ISBN 13: 9781584885658
Format: Hardcover (760 pages) Publisher: Chapman and Hall/CRC Published: 01 Jun 2007
Computer Music Modeling and Retrieval: International Symposium, CMMR 2003, Montpellier, France, May 26-27, 2003, Revised Papers (Lecture Notes in Computer Science)
ISBN 13: 9783540209225
Format: Paperback (247 pages) Publisher: Springer Published: 12 Feb 2004
Solving Polynomial Equations: Foundations, Algorithms, and Applications (Algorithms and Computation in Mathematics)
ISBN 13: 9783540243267
Format: Hardcover (425 pages) Publisher: Springer Published: 27 Apr 2005