Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art ... / Programming and Software Engineering)
by
ISBN 13: 9783642041662
Format: Paperback (299 pages) Publisher: Springer Published: 07 Sep 2009
Save for later
Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642042041
Format: Paperback (376 pages) Publisher: Springer Published: 03 Sep 2009
Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 ... / Programming and Software Engineering)
ISBN 13: 9783642042430
Format: Paperback (844 pages) Publisher: Springer Published: 07 Sep 2009
Smart Sensing and Context: 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings (Lecture Notes in Computer Science ... Networks and Telecommunications)
ISBN 13: 9783642044700
Format: Paperback (219 pages) Publisher: Springer Published: 07 Sep 2009
Progress in Artificial Intelligence: 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642046858
Format: Paperback (686 pages) Publisher: Springer Published: 29 Sep 2009
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642049118
Format: Paperback (176 pages) Publisher: Springer Published: 26 Oct 2009
Advances in Conceptual Modeling - Challenging Perspectives: ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642049460
Format: Paperback (358 pages) Publisher: Springer Published: 26 Oct 2009
Advances in Ubiquitous User Modelling: Revised Selected Papers (Lecture Notes in Computer Science / Information Systems and Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642050381
Format: Paperback (159 pages) Publisher: Springer Published: 26 Oct 2009
Speech Processing in Modern Communication: Challenges and Perspectives (Springer Topics in Signal Processing)
ISBN 13: 9783642111297
Format: Hardcover (342 pages) Publisher: Springer Published: 04 Feb 2010
SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, pindleruv Mlýn, ... Computer Science and General Issues)
ISBN 13: 9783642112652
Format: Paperback (780 pages) Publisher: Springer Published: 20 Jan 2010
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Gabriele Puppis
ISBN 13: 9783642118807
Format: Paperback (206 pages) Publisher: Springer Published: 18 Feb 2010
Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642130939
Format: Paperback (548 pages) Publisher: Springer Published: 20 May 2010