Computer Aided Systems Theory - EUROCAST '91

A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991. Proceedings

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

Wireless Sensor Networks

8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011, Proceedings

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

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

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

Experimental Algorithms

8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings

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

ECOOP 2012 -- Object-Oriented Programming

26th European Conference, Beijing, China, June 11-16, 2012, Proceedings

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

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

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

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006

9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part II

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

Applied Cryptography and Network Security

9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011, Proceedings

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

Computational Science and Its Applications - ICCSA 2004

International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV

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

Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

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