Business Process Management

10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Automated Deduction -- CADE-24

24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2010

13th International Conference, Beijing, China, September 20-24, 2010, Proceedings Part I

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Focused Retrieval of Content and Structure

10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbrücken, Germany, December 12-14, 2011, Revised and Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence

6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Protocols for Multimedia Systems

6th International Conference, PROMS 2001, Enschede, The Netherlands, October 17-19, 2001 Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Computer Science - Theory and Applications

8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

CASL User Manual

Introduction to Using the Common Algebraic Specification Language

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Transactions on Computational Science VIII

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Information Security and Cryptology - ICISC 2001

4th International Conference Seoul, Korea, December 6-7, 2001 Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem