Computational Logic and Proof Theory

5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

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

Intelligent Robotics and Applications

First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part II

Produktform: Buch / Einband - flex.(Paperback)

Intelligent Robotics and Applications

First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part I

Produktform: Buch / Einband - flex.(Paperback)

Machine Learning and Knowledge Discovery in Databases

European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I

Produktform: Buch / Einband - flex.(Paperback)

Global Perspectives on Design Science Research

5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Advances in Knowledge Discovery and Data Mining, Part I

14th Pacific-Asia Conference, PAKDD 2010, Hyderabat, India, June 21-24, 2010, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Public Key Cryptography - PKC 2010

13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Web Information Systems Engineering - WISE 2010

11th International Conference, Hong Kong, China, December 12-14, 2010, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Mathematical Foundations of Computer Science 2000

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Parallel Execution of Parlog

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