Holger Hermanns – författare

Visar alla böcker från författaren Holger Hermanns.

9 produkter

Kategorier

9 produkter

Del 12040
Del 12040 - Lecture Notes in Computer Science
Measurement, Modelling and Evaluation of Computing Systems
20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings
AvHolger Hermanns
Häftad, Engelska, 2020
749 kr
Skickas inom 10-15 vardagar
Validation of Stochastic Systems
A Guide to Current Research
AvChristel Baier,Boudewijn R. Haverkortm. fl.
Häftad, Engelska, 2004
729 kr
Skickas inom 10-15 vardagar
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 of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
AvHolger Hermanns,Jens Palsberg
Häftad, Engelska, 2006
749 kr
Skickas inom 10-15 vardagar
CONCUR 2006 - Concurrency Theory
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
AvChristel Baier,Holger Hermanns
Häftad, Engelska, 2006
1 489 kr
Skickas inom 10-15 vardagar
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
AvEd Brinksma,Holger Hermannsm. fl.
Häftad, Engelska, 2001
749 kr
Skickas inom 10-15 vardagar
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
AvHolger Hermanns,Roberto Segala
Häftad, Engelska, 2002
729 kr
Skickas inom 10-15 vardagar
Interactive Markov Chains
The Quest for Quantified Quality
AvHolger Hermanns
Häftad, Engelska, 2002
729 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
AvWerner Damm,Holger Hermanns
Häftad, Engelska, 2007
749 kr
Skickas inom 10-15 vardagar
Del 14464
Del 14464 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings
AvHolger Hermanns,Jun Sunm. fl.
Häftad, Engelska, 2023
1 189 kr
Skickas inom 10-15 vardagar

Holger Hermanns – författare

Measurement, Modelling and Evaluation of Computing Systems

Validation of Stochastic Systems

Tools and Algorithms for the Construction and Analysis of Systems

CONCUR 2006 - Concurrency Theory

Lectures on Formal Methods and Performance Analysis

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Interactive Markov Chains

Computer Aided Verification

Dependable Software Engineering. Theories, Tools, and Applications

Holger Hermanns – författare

Measurement, Modelling and Evaluation of Computing Systems

Validation of Stochastic Systems

Tools and Algorithms for the Construction and Analysis of Systems

CONCUR 2006 - Concurrency Theory

Lectures on Formal Methods and Performance Analysis

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Interactive Markov Chains

Computer Aided Verification

Dependable Software Engineering. Theories, Tools, and Applications