Hoppa till sidans huvudinnehåll

Holger Hermanns – författare

Visar alla böcker från författaren Holger Hermanns.
9 produkter
Holger Hermanns - Measurement, Modelling and Evaluation of Computing Systems, Häftad
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

739 kr

Skickas inom 10-15 vardagar

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle - Validation of Stochastic Systems, Häftad

Validation of Stochastic Systems

A Guide to Current Research

AvChristel Baier,Boudewijn R. Haverkortm. fl.

Häftad, Engelska, 2004

719 kr

Skickas inom 10-15 vardagar

Holger Hermanns, Jens Palsberg - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

739 kr

Skickas inom 10-15 vardagar

Christel Baier, Holger Hermanns - CONCUR 2006 - Concurrency Theory, Häftad

CONCUR 2006 - Concurrency Theory

17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

AvChristel Baier,Holger Hermanns

Häftad, Engelska, 2006

1 459 kr

Skickas inom 10-15 vardagar

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis, Häftad

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

739 kr

Skickas inom 10-15 vardagar

Holger Hermanns, Roberto Segala - Process Algebra and Probabilistic Methods: Performance Modeling and Verification, Häftad

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

719 kr

Skickas inom 10-15 vardagar

Holger Hermanns - Interactive Markov Chains, Häftad

Interactive Markov Chains

The Quest for Quantified Quality

AvHolger Hermanns

Häftad, Engelska, 2002

719 kr

Skickas inom 10-15 vardagar

Werner Damm, Holger Hermanns - Computer Aided Verification, Häftad

Computer Aided Verification

19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

AvWerner Damm,Holger Hermanns

Häftad, Engelska, 2007

739 kr

Skickas inom 10-15 vardagar

Holger Hermanns, Jun Sun, Lei Bu - Dependable Software Engineering. Theories, Tools, and Applications, Häftad
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 169 kr

Skickas inom 10-15 vardagar