MPG.eBooks - Search Results - "engineer"

Search alternatives:
"engineer" » "engineers", "engineered", "engine"

Cover Image

1

Dependable Software Engineering. Theories, Tools, and Applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

Published 2024

Springer Nature Singapore

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

Cover Image

2

Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Published 2001

Springer Berlin Heidelberg

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

Cover Image

3

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

Published 2006

Springer Berlin Heidelberg

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

Cover Image

4

Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proce...

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

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

Cover Image

5

Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proc...

Published 2002

Springer Berlin Heidelberg

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

Cover Image

6

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

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

Cover Image

7

Lectures on Formal Methods and PerformanceAnalysis : First EEFEuro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

by Brinksma, Ed
Published 2001

Springer-Verlag Berlin Heidelberg

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

Cover Image

8

Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

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

Cover Image

9

Validation of Stochastic Systems : A Guide to Current Research

by Baier, Christel
Published 2004

Springer Berlin Heidelberg

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

Cover Image

10

Interactive Markov Chains : The Quest for Quantified Quality

by Hermanns, Holger
Published 2002

Springer Berlin Heidelberg

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

Cover Image

11

Interactive Markov Chains : And the Quest for Quantified Quality

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

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

Cover Image

12

Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings

Published 2020

Springer International Publishing

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