Types for Proofs and Programs

International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

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

Transactions on Computational Collective Intelligence XVIII

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

Selected Areas in Cryptography

19th International Conference, SAC 2012, Windsor, Canada, August 15-16, 2012, Revised Selected Papers

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

Reconfigurable Computing: Architectures and Applications

Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers

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

Advances in Computation and Intelligence

4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009, Proceedings

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

Clinical Image-Based Procedures. From Planning to Intervention

International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

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

Advances in Natural Language Processing

6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings

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

Pervasive Computing for Quality of Life Enhancement

5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings

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

Cryptography and Coding

8th IMA International Conference Cirencester, UK, December 17-19, 2001 Proceedings

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

On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops

OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I

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