Hoppa till sidans huvudinnehåll

Holger Hermanns - Böcker

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

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

719 kr

Skickas inom 10-15 vardagar

Validation of Stochastic Systems

A Guide to Current Research

AvChristel Baier,Boudewijn R. Haverkort m. fl.

Häftad, Engelska, 2004

689 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

719 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 419 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 Hermanns m. fl.

Häftad, Engelska, 2001

719 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

689 kr

Skickas inom 10-15 vardagar

Interactive Markov Chains

The Quest for Quantified Quality

AvHolger Hermanns

Häftad, Engelska, 2002

689 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

709 kr

Skickas inom 10-15 vardagar

Dependable Software Engineering. Theories, Tools, and Applications

9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

AvHolger Hermanns,Jun Sun m. fl.

Häftad, Engelska, 2023

1 119 kr

Skickas inom 10-15 vardagar