Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540893295
Format: Paperback (343 pages) Publisher: Springer Published: 14 Nov 2008
Save for later
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)
ISBN 13: 9783540892861
Format: Paperback (251 pages) Publisher: Springer Published: 18 Dec 2008
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
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
Advances in Cryptology - ASIACRYPT 2010: 16th International Conference on the Theory and Application of Cryptology and Information Security, ... Computer Science / Security and Cryptology)
ISBN 13: 9783642173721
Format: Paperback (634 pages) Publisher: Springer Published: 16 Nov 2010
Intelligent Computing and Information Science: International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part I (Communications in Computer and Information Science)
ISBN 13: 9783642181283
Format: Paperback (770 pages) Publisher: Springer Published: 23 Dec 2010
Combinatorial Optimization and Applications: 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I ... Computer Science and General Issues)
ISBN 13: 9783642174575
Format: Paperback (424 pages) Publisher: Springer Published: 09 Dec 2010
Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems (Lecture ... Networks and Telecommunications)
ISBN 13: 9783642175985
Format: Paperback (374 pages) Publisher: Springer Published: 09 Dec 2010
Pattern Recognition in Bioinformatics: 5th IAPR International Conference, PRIB 2010, Nijmegen, The Netherlands, September 22-24, 2010, Proceedings ... Science / Lecture Notes in Bioinformatics)
ISBN 13: 9783642160004
Format: Paperback (442 pages) Publisher: Springer Published: 20 Sep 2010