Author

Contributions

  • Campbell, John A. - Contributor
  • Carette, Jacques - Contributor
  • Reis, Gabriel - Contributor
  • Sojka, Petr - Contributor
  • Wenzel, Makarius - Contributor
and 2 more
  • Sorge, Volker - Contributor
  • SpringerLink (Online service) - Contributor

Publication

2012 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

Electronic resource

Identifiers

Classifications

  • DDC005.131
  • LCCQA76.9.M35

Similar Books

Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Peter Jipsen, Michael Winter, Uli Fahrenberg, Peter Höfner, Martin Eric Müller, Wolfram Kahl

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings cover

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

edited by Sergei Artemov, Anil Nerode

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers cover

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

edited by Farhad Arbab, Peter Csaba Ölveczky

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings cover

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

edited by Alexander Romanovsky, Tullio Vardanega

Recommender Systems Handbook cover

Recommender Systems Handbook

edited by Francesco Ricci, Lior Rokach, Bracha Shapira, Paul B. Kantor

Knowledge Discovery, Knowledge Engineering and Knowledge Management: 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers cover

Knowledge Discovery, Knowledge Engineering and Knowledge Management: 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers

Ana Fred, Jan L. G. Dietz, Joaquim Filipe, Kecheng Liu, David Aveiro

Convergence and Hybrid Information Technology: 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings cover

Convergence and Hybrid Information Technology: 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings

edited by Geuk Lee, Daniel Howard, Dominik Ślęzak

Natural Language Processing and Information Systems: 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedings

Elisabeth Métais, Christian Kop, Günther Fliedl, Heinrich C. Mayr

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!