MPG.eBooks - Search Results

Cover Image

1

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

by Dong, Jin Song
Published 2003

Springer Berlin Heidelberg

Cover Image

2

Modelling with Words : Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework

by Lawry, Jonathan
Published 2003

Springer Berlin Heidelberg

Cover Image

3

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

4

Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings

by Ohori, Atsushi
Published 2003

Springer Berlin Heidelberg

Cover Image

5

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

6

Learning Classifier Systems : 5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002, Revised Papers

by Lanzi, Pier Luca
Published 2003

Springer Berlin Heidelberg

Cover Image

7

Principles and Practice of Semantic Web Reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings

by Bry, Francois
Published 2003

Springer Berlin Heidelberg

Cover Image

8

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

by Dau, Frithjof
Published 2003

Springer Berlin Heidelberg

Cover Image

9

Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

by Palamidessi, Catuscia
Published 2003

Springer Berlin Heidelberg

Cover Image

10

AI 2003: Advances in Artificial Intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings

by Gedeon, Tamas D
Published 2003

Springer Berlin Heidelberg

Cover Image

11

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings

by Pandya, Paritosh K
Published 2003

Springer Berlin Heidelberg

Cover Image

12

Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings

by Eklund, Peter
Published 2004

Springer Berlin Heidelberg

Cover Image

13

Model Generation for Natural Language Interpretation and Analysis

by Konrad, Karsten
Published 2004

Springer Berlin Heidelberg

Cover Image

14

STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings

by Diekert, Volker
Published 2004

Springer Berlin Heidelberg

Cover Image

15

Compiler Construction : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, Mar...

by Duesterwald, Evelyn
Published 2004

Springer Berlin Heidelberg

Cover Image

16

Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of So...

by Walukiewicz, Igor
Published 2004

Springer Berlin Heidelberg

Cover Image

17

Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004...

by Schmidt, David
Published 2004

Springer Berlin Heidelberg

Cover Image

18

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

19

MICAI 2004: Advances in Artificial Intelligence : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings

by Monroy, Raúl
Published 2004

Springer Berlin Heidelberg

Cover Image

20

Recent Advances in Constraints : Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2,...

by Apt, Krzysztof R
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11