Stochastic Hybrid Systems: Theory and Safety Critical Applications (Lecture Notes in Control and Information Sciences)
by
ISBN 13: 9783540334668
Format: Paperback (395 pages) Publisher: Springer Published: 19 Jun 2006
Save for later
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... / Programming and Software Engineering)
ISBN 13: 9783540709510
Format: Paperback (363 pages) Publisher: Springer Published: 20 Feb 2007
Algorithms - ESA 2007: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings: 4698 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783540755197
Format: Paperback (769 pages) Publisher: Springer Published: 20 Sep 2007
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, ... Computer Science and General Issues)
ISBN 13: 9783540744498
Format: Paperback (530 pages) Publisher: Springer Published: 28 Sep 2007
Issues in Multi-Agent Systems: The AgentCities.ES Experience (Whitestein Series in Software Agent Technologies and Autonomic Computing)
ISBN 13: 9783764385422
Format: Paperback (225 pages) Publisher: Birkhauser Published: 16 Nov 2007
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools (Advanced Textbooks in Control and Signal Processing)
by Branislav Hrúz,MengChu Zhou
ISBN 13: 9781846288722
Format: Paperback (341 pages) Publisher: Springer Published: 20 Aug 2007
Inductive Logic Programming: 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540784685
Format: Paperback (307 pages) Publisher: Springer Published: 14 Mar 2008
Sharing Data, Information and Knowledge: 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008, Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540705031
Format: Paperback (293 pages) Publisher: Springer Published: 25 Jun 2008
Machine Learning for Multimodal Interaction: Second International Workshop, MLMI 2005, Edinburgh, UK, July 11-13, 2005, Revised Selected Papers ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540325499
Format: Paperback (503 pages) Publisher: Springer Published: 13 Feb 2006
ECSCW 2005: Proceedings of the Ninth European Conference on Computer-Supported Cooperative Work, 18-22 September 2005, Paris, France
ISBN 13: 9781402040221
Format: Hardcover (489 pages) Publisher: Springer Published: 14 Sep 2005
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540372158
Format: Paperback (620 pages) Publisher: Springer Published: 10 Aug 2006
Machine Learning Challenges: Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540334279
Format: Paperback (475 pages) Publisher: Springer Published: 11 May 2006