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

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

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

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

by Palamidessi, Catuscia
Published 2003

Springer Berlin Heidelberg

Cover Image

6

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

7

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

8

Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

by Winkler, Franz
Published 2004

Springer Berlin Heidelberg

Cover Image

9

Algorithmic Learning Theory : 13th International Conference, ALT 2002 Lübeck, Germany, November 24–26, 2002 Proceedings

by Cesa-Bianchi, Nicolò
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

10

AI 2002: Advances in Artificial Intelligence : 15th Australian Joint Conference on Artificial Intelligence Canberra, Australia, December 2–6, 2002 Proceedings

by McKay, Bob
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

11

Concurrency and Hardware Design : Advances in Petri Nets

by Cortadella, Jordi
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

12

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings

by Agrawal, Manindra
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

13

Natural Language Processing and Information Systems : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002 Stockholm, Sweden, June 27–...

by Andersson, Birger
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

14

Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revi...

by Swart, Harrie C M
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

15

Database Theory — ICDT 2003 : 9th International Conference Siena, Italy, January 8–10, 2003 Proceedings

by Calvanese, Diego
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

16

Implementation and Application of Automata : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers

by Watson, Bruce W
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

17

Logics in Artificial Intelligence : European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings

by Ojeda-Aciego, Manuel
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

18

Analysis and Visualization Tools for Constraint Programming : Constraint Debugging

by Deransart, Pierre
Published 2000

Springer Berlin Heidelberg

Cover Image

19

Learning Language in Logic

by Cussens, James
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

20

Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...

by Pfaltz, John L
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11