MPG.eBooks - Search Results - "Theory Of Computation"

1

The Computational Complexity of Equivalence and Isomorphism Problems

by Thierauf, Thomas
Published 2000

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

2

Automata, Languages and Programming : 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

3

The Essence of Computation : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

Published 2002

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

4

Advances in Computing Science - ASIAN'98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

5

Architecting Dependable Systems

Published 2003

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

6

Foundations of Software Technology and Theoretical Computer Science : 19th Conference, Chennai, India, December 13-15, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

7

SOFSEM'99: Theory and Practice of Informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proc...

Published 1999

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

8

Membrane Computing : International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers

Published 2003

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

9

Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

10

Fundamentals of Computation Theory : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

11

Computer Performance Evaluation. Modelling Techniques and Tools : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

12

Graph-Theoretic Concepts in Computer Science : 25th International Workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

13

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

14

Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of...

Published 1999

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

15

CONCUR 2001 - Concurrency Theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

16

Metaheuristics : 15th International Conference, MIC 2024, Lorient, France, June 4–7, 2024, Proceedings, Part I

Published 2024

Springer Nature Switzerland

Subjects: “...Theory of Computation...”

Read Now

17

Metaheuristics : 15th International Conference, MIC 2024, Lorient, France, June 4–7, 2024, Proceedings, Part II

Published 2024

Springer Nature Switzerland

Subjects: “...Theory of Computation...”

Read Now

18

Formal Techniques for Distributed Objects, Components, and Systems : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Confere...

Published 2024

Springer Nature Switzerland

Subjects: “...Theory of Computation...”

Read Now

19

FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

20

Static Analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Narrow Search