Transactions on Petri Nets and Other Models of Concurrency I: Pt. 1 (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency)
by
ISBN 13: 9783540892861
Format: Paperback (251 pages) Publisher: Springer Published: 18 Dec 2008
Save for later
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540262787
Format: Paperback (667 pages) Publisher: Springer Published: 27 Jun 2005
Advances in Brain, Vision, and Artificial Intelligence: Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540755548
Format: Paperback (618 pages) Publisher: Springer Published: 01 Oct 2007
Intelligent Virtual Agents: 7th International Working Conference, IVA 2007, Paris, France, September 17-19, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540749967
Format: Paperback (425 pages) Publisher: Springer Published: 06 Sep 2007
Post-Quantum Cryptography: Second International Workshop, PQCrypto 2008 Cincinnati, OH, USA October 17-19, 2008 Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783540884026
Format: Paperback (231 pages) Publisher: Springer Published: 06 Oct 2008
Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540896739
Format: Paperback (406 pages) Publisher: Springer Published: 24 Nov 2008
A Practical Programming Model for the Multi-Core Era: International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings: 3rd ... Computer Science and General Issues)
ISBN 13: 9783540693024
Format: Paperback (207 pages) Publisher: Springer Published: 11 Jun 2008
Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, ... / Programming and Software Engineering)
ISBN 13: 9783540878780
Format: Paperback (235 pages) Publisher: Springer Published: 07 Oct 2008
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)
by Dexter Kozen,Carron Shankland
ISBN 13: 9783540223801
Format: Illustrated (416 pages) Publisher: Springer Published: 24 Jun 2004
Advances in Artificial Intelligence - IBERAMIA 2008: 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings: 5290 (Lecture Notes in Computer Science)
by Hector Geffner,Rui Prada,Isabel Machado Alexandre,Nuno David
ISBN 13: 9783540883081
Format: Paperback (480 pages) Publisher: Springer Published: 29 Sep 2008
Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, ... / Programming and Software Engineering)
ISBN 13: 9783642180224
Format: Paperback (499 pages) Publisher: Springer Published: 03 Jan 2011
Research and Development in Intelligent Systems XXVII: Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of AI-2010, ... and Applications of Artificial Intelligence
ISBN 13: 9780857291295
Format: Paperback (494 pages) Publisher: Springer Published: 25 Nov 2010