MPG.eBooks - Search Results

Cover Image

1

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

2

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

3

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

by Ehrig, Hartmut
Published 2003

Springer Berlin Heidelberg

Cover Image

4

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

by Dau, Frithjof
Published 2003

Springer Berlin Heidelberg

Cover Image

5

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

6

Model Generation for Natural Language Interpretation and Analysis

by Konrad, Karsten
Published 2004

Springer Berlin Heidelberg

Cover Image

7

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

8

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

9

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

by Mosses, Peter D
Published 2004

Springer Berlin Heidelberg

Cover Image

10

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

11

Computational Processing of the Portuguese Language : 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings

by Mamede, Nuno J
Published 2003

Springer Berlin Heidelberg

Cover Image

12

Rewriting Techniques and Applications : 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings

by Nieuwenhuis, Robert
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

13

OpenMP Shared Memory Parallel Programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2003 Toronto, Canada, June 26–27, 2003 Proceedings

by Voss, Michael J
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

14

Graph Based Representations in Pattern Recognition : 4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings

by Hancock, Edwin
Published 2003

Springer Berlin Heidelberg

Cover Image

15

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings

by Nielsen, Thomas D
Published 2003

Springer Berlin Heidelberg

Cover Image

16

Advances in Spatial and Temporal Databases : 8th International Symposium, SSTD 2003, Santorini Island, Greece, July 24 - 27, 2003. Proceedings

by Hadzilacos, Thanasis
Published 2003

Springer Berlin Heidelberg

Cover Image

17

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

Cover Image

18

Innovative Concepts for Agent-Based Systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

by Truszkowski, Walt
Published 2003

Springer Berlin Heidelberg

Cover Image

19

Architecting Dependable Systems

by Lemos, Rogério
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

20

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

by Cialdea Mayer, Marta
Published 2003

Springer Berlin Heidelberg

1
2
3