MPG.eBooks - Search Results

Cover Image

1

Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday

by Jonoska, Natasha
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Wireless On-Demand Network Systems : First IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004, Proceedings

by Battiti, Roberto
Published 2004

Springer Berlin Heidelberg

Cover Image

3

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

by Steffen, Bernhard
Published 2004

Springer Berlin Heidelberg

Cover Image

4

CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language

by Mosses, Peter D
Published 2004

Springer Berlin Heidelberg

Cover Image

5

Real-Time and Embedded Computing Systems and Applications : 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers

by Chen, Jing
Published 2004

Springer Berlin Heidelberg

Cover Image

6

Public Key Cryptography — PKC 2003 : 6th International Workshop on Practice and Theory in Public Key Cryptography Miami, FL, USA, January 6–8, 2003 Proceedings

by Desmedt, Yvo G
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

7

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

by Börger, Egon
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

8

Future Directions in Distributed Computing : Research and Position Papers

by Schiper, André
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

9

Inductive Logic Programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings

by Horváth, Tamas
Published 2003

Springer Berlin Heidelberg

Cover Image

10

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United N...

by Aichernig, Bernhard K
Published 2003

Springer Berlin Heidelberg

Cover Image

11

Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

by Wirsing, Martin
Published 2003

Springer Berlin Heidelberg

Cover Image

12

Petri Net Technology for Communication-Based Systems : Advances in Petri Nets

by Ehrig, Hartmut
Published 2003

Springer Berlin Heidelberg

Cover Image

13

The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic

by Dau, Frithjof
Published 2003

Springer Berlin Heidelberg

Cover Image

14

Cryptography and Coding : 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings

by Paterson, Kenneth G
Published 2003

Springer Berlin Heidelberg

Cover Image

15

Model Generation for Natural Language Interpretation and Analysis

by Konrad, Karsten
Published 2004

Springer Berlin Heidelberg

Cover Image

16

Gesture-Based Communication in Human-Computer Interaction : 5th International Gesture Workshop, GW 2003, Genova, Italy, April 15-17, 2003, Selected Revised Papers

by Camurri, Antonio
Published 2004

Springer Berlin Heidelberg

Cover Image

17

Diagrammatic Representation and Inference : Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

by Blackwell, Alan
Published 2004

Springer Berlin Heidelberg

Cover Image

18

Agent-Mediated Electronic Commerce V : Designing Mechanisms and Systems, AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15. 2003, Revised Selected Papers

by Faratin, Peyman
Published 2004

Springer Berlin Heidelberg

Cover Image

19

Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings

by Krishnamurthi, Shriram
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

20

Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings

by Ibarra, Oscar H
Published 2003

Springer Berlin Heidelberg

1
2
3