MPG.eBooks - Search Results - "Engines"

Search alternatives:
engines » engine , engineers , engineer

Cover Image

1

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

Published 1998

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

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: “...Software engineering...”

Cover Image

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: “...Software engineering...”

Cover Image

4

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: “...Software engineering...”

Cover Image

5

Computing and Software Science : State of the Art and Perspectives

Published 2019

Springer International Publishing

Subjects: “...Software engineering...”

Cover Image

6

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

Published 2021

Springer International Publishing

Subjects: “...Software engineering...”

Cover Image

7

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: “...Software engineering...”

Cover Image

8

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: “...Software engineering...”

Cover Image

9

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: “...Software engineering...”

Cover Image

10

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: “...Software engineering...”