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

Search alternatives:
computation » computational

Cover Image

1

Grundlagen der höheren Informatik : Induktives Vorgehen

by Steffen, Bernhard, Rüthing, Oliver, Isberner, Malte
Published 2014

Springer Berlin Heidelberg

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

Cover Image

2

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches

by Steffen, Bernhard, Rüthing, Oliver, Huth, Michael
Published 2018

Springer International Publishing

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

Cover Image

3

Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

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

Cover Image

4

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

Published 1998

Springer Berlin Heidelberg

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

Cover Image

5

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Pro...

Published 2022

Springer Nature Switzerland

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

Cover Image

6

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Published 1996

Springer Berlin Heidelberg

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

Cover Image

7

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Published 2012

Springer Berlin Heidelberg

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

Cover Image

8

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I...

Published 2012

Springer Berlin Heidelberg

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

Cover Image

9

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2...

Published 2016

Springer International Publishing

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

Cover Image

10

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,...

Published 2016

Springer International Publishing

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

Cover Image

11

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...

Published 2014

Springer Berlin Heidelberg

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

Cover Image

12

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Octobe...

Published 2014

Springer Berlin Heidelberg

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

Cover Image

13

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part...

Published 2018

Springer International Publishing

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

Cover Image

14

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, P...

Published 2018

Springer International Publishing

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

Cover Image

15

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceed...

Published 2018

Springer International Publishing

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

Cover Image

16

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceed...

Published 2018

Springer International Publishing

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

Cover Image

17

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Procee...

Published 2022

Springer Nature Switzerland

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