Advances in Robotics: FIRA RoboWorld Congress 2009, Incheon, Korea, August 16-20, 2009, Proceedings (Lecture Notes in Computer Science / Image ... Vision, Pattern Recognition, and Graphics)
by
ISBN 13: 9783642039829
Format: Paperback (322 pages) Publisher: Springer Published: 28 Aug 2009
Save for later
Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence: 5th International Conference on Intelligent ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642040191
Format: Paperback (1120 pages) Publisher: Springer Published: 28 Aug 2009
Semantic Methods for Execution-level Business Process Modeling: Modeling Support Through Process Verification and Service Composition (Lecture Notes in Business Information Processing)
by Ingo M. Weber
ISBN 13: 9783642050848
Format: Paperback (292 pages) Publisher: Springer Published: 06 Nov 2009
Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)
ISBN 13: 9783642119569
Format: Paperback (632 pages) Publisher: Springer Published: 17 Mar 2010
Multiple Classifier Systems: 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642121265
Format: Paperback (328 pages) Publisher: Springer Published: 25 Mar 2010
Reconfigurable Computing: Architectures, Tools and Applications: 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, ... Computer Science and General Issues)
ISBN 13: 9783642121326
Format: Paperback (446 pages) Publisher: Springer Published: 17 Mar 2010 Other Format: Paperback
Experimental Algorithms: 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642131929
Format: Paperback (514 pages) Publisher: Springer Published: 07 May 2010
Probability and Statistics with Reliability, Queuing and Computer Science Applications (A Wiley-Interscience publication)
by Kishor Shridharbhai Trivedi
ISBN 13: 9780471333418
Format: Hardcover (830 pages) Publisher: Wiley-Blackwell Published: 09 Nov 2001
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
ISBN 13: 9780321143068
Format: Paperback (384 pages) Publisher: Addison Wesley Published: 19 Jul 2002
Machine Learning for Multimodal Interaction: Third International Workshop, MLMI 2006, Bethesda, MD, USA, May 1-4, 2006, Revised Selected Papers ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540692676
Format: Paperback (482 pages) Publisher: Springer Published: 22 Dec 2006
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 (Lecture Notes in Computer Science)
ISBN 13: 9783540009139
Format: Paperback (558 pages) Publisher: Springer Published: 18 Mar 2003
Computer Algebra Recipes: An Advanced Guide to Scientific Modeling
by Richard H. Enns,George C. McGuire
ISBN 13: 9780387257686
Format: Paperback (372 pages) Publisher: Springer Published: 13 Mar 2007 Other Format: Paperback