Spatial Information Theory: 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783642038310
Format: Paperback (505 pages) Publisher: Springer Published: 03 Sep 2009
Save for later
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)
ISBN 13: 9783642039829
Format: Paperback (322 pages) Publisher: Springer Published: 28 Aug 2009
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
Software Verification and Validation: An Engineering and Scientific Approach
by Marcus S. Fisher
ISBN 13: 9780387327259
Format: Hardcover (172 pages) Publisher: Springer Published: 20 Dec 2006
Dynamic Fleet Management: Concepts, Systems, Algorithms & Case Studies: Concepts, Systems, Algorithms and Case Studies (Operations Research Computer Science Interfaces Series)
ISBN 13: 9780387717210
Format: Hardcover (242 pages) Publisher: Springer Published: 08 Oct 2007
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