Algorithms in Invariant Theory (Texts & Monographs in Symbolic Computation)
by Bernd Sturmfels,Peter Paule
ISBN 13: 9783211774168
Format: Illustrated (204 pages) Publisher: Springer Published: 28 Apr 2008
Save for later
Principles of Model Checking (The MIT Press)
by Christel Baier,Joost-Pieter Katoen
ISBN 13: 9780262026499
Format: Illustrated (975 pages) Publisher: The MIT Press Published: 03 Jun 2008
Microsoft Outlook Programming: Jumpstart for Administrators, Developers, and Power Users
by Sue Mosher
ISBN 13: 9781555582869
Format: Illustrated (638 pages) Publisher: Digital Press Published: 24 Oct 2002
Foundations of Multidimensional and Metric Data Structures (The Morgan Kaufmann Series in Computer Graphics)
by Hanan Samet
ISBN 13: 9780123694461
Format: Illustrated (1024 pages) Publisher: Morgan Kaufmann Published: 12 Sep 2006
Artifical Intelligence for Human Computing: ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006 and Hyderabad, India, ... 4451 (Lecture Notes in Computer Science)
by Thomas S. Huang, Anton Nijholt, Maja Pantic, Alex Pentland
ISBN 13: 9783540723462
Format: Paperback (359 pages) Publisher: Springer Published: 31 May 2007
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... 2941 (Lecture Notes in Computer Science)
by Martin Wirsing, Alexander Knapp, Simonetta Balsamo
ISBN 13: 9783540211792
Format: Paperback (359 pages) Publisher: Springer Published: 18 Mar 2004
Cryptology and Network Security: 7th International Conference, CANS 2008, Hong-Kong, China, December 2-4, 2008. Proceedings (Lecture Notes in Computer Science/Security and Cryptology): 5339
by Matthew K. Franklin
ISBN 13: 9783540896401
Format: Paperback (412 pages) Publisher: Springer Published: 03 Dec 2008
Prospects for Functional Programming in Software Engineering: 1 (Research Reports Esprit)
by Jean-Pierre Banatre, Simon B. Jones, Daniel Le Metayer, P. Fradet, A. Sinclair
ISBN 13: 9783540538523
Format: Paperback (210 pages) Publisher: Springer Published: 03 Apr 1991
Managing Software Quality: A Measurement Framework for Assessment and Prediction (Practitioner Series)
by Richard E. Nance
ISBN 13: 9781852333935
Format: Illustrated (136 pages) Publisher: Springer Published: 22 Mar 2002
The Top Ten Algorithms in Data Mining (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
by Xindong Wu, Vipin Kumar
ISBN 13: 9781420089646
Format: Hardcover (232 pages) Publisher: Chapman and Hall/CRC Published: 09 Apr 2009
Genetic Algorithms (with CD ROM)
by Kim-Fung Man,Kit-Sang Tang,Sam Kwong
ISBN 13: 9781852330729
Format: Paperback (360 pages) Publisher: Springer Published: 30 Mar 1999
Accessible Access 2003
by Mark Whitehorn,Bill Marklyn
ISBN 13: 9781852339494
Format: Illustrated (400 pages) Publisher: Springer Published: 28 Jul 2005