MPG.eBooks - Search Results

1

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

2

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: “...Models of Computation...”

Read Now

3

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: “...Computer Communication Networks...”

Read Now

4

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: “...Computer systems...”

Read Now

5

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 20...

Published 2020

Springer International Publishing

Subjects: “...Computer systems...”

Read Now

6

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 202...

Published 2020

Springer International Publishing

Subjects: “...Computer systems...”

Read Now

7

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Subjects: “...Computer Communication Networks...”

Read Now

8

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Subjects: “...Computer Communication Networks...”

Read Now

9

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: “...Compilers (Computer programs)...”

Read Now

10

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: “...Compilers (Computer programs)...”

Read Now

11

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: “...Compilers (Computer programs)...”

Read Now

12

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: “...Compilers (Computer programs)...”

Read Now

13

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: “...Computer Communication Networks...”

Read Now

14

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: “...Computer science...”

Read Now

15

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...

by Steffen, Bernhard
Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer Communication Networks...”

Read Now

16

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches

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

Springer International Publishing

Subjects: “...Computer science...”

Read Now

17

Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

Published 2024

Springer Nature Switzerland

Subjects: “...Computer systems...”

Read Now

18

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

by Steffen, Bernhard
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Read Now

19

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...

Published 2019

Springer International Publishing

Subjects: “...Electronic digital computers / Evaluation...”

Read Now

20

Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo...

Published 2021

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Narrow Search