Human-Computer Interaction -- INTERACT 2011

13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV

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

Computational Aspects of an Order-Sorted Logic with Term Declarations

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

Information Security Practice and Experience

4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings

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

Graph Drawing

19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

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

Automata, Languages and Programming

38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I

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

Computer Science Logic

19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

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

Integer Programming and Combinatorial Optimization

12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings

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

High Performance Computing and Communications

First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings

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

Energy Minimization Methods in Computer Vision and Pattern Recognition

9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

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

Intelligent Information and Database Systems

Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I

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