MPG.eBooks - Search Results - "bernhard steffen"

1

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Published 2019

Springer International Publishing

“...This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical...”

Read Now

2

Transactions on Foundations for Mastering Change I

Published 2016

Springer International Publishing

Read Now

3

Computing and Software Science : State of the Art and Perspectives

Published 2019

Springer International Publishing

Read Now

4

Correct System Design : Recent Insights and Advances

by Olderog, Ernst-Rüdiger
Published 1999

Springer-Verlag Berlin Heidelberg

Read Now

5

Correct System Design : Recent Insights and Advances

Published 1999

Springer Berlin Heidelberg

Read Now

6

Grundlagen der höheren Informatik : Induktives Vorgehen

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

Springer Berlin Heidelberg

Read Now

7

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches

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

Springer International Publishing

Read Now

8

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

by Margaria, Tiziana
Published 1998

Springer Berlin Heidelberg

Read Now

9

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

Read Now

10

Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Published 2021

Springer International Publishing

Read Now

11

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

Published 2024

Springer Nature Switzerland

Read Now

12

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

Published 2004

Springer Berlin Heidelberg

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

Read Now

14

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

Published 1998

Springer Berlin Heidelberg

Read Now

15

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Read Now

16

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

Read Now

17

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

Read Now

18

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

Read Now

19

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

Read Now

20

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

Narrow Search