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

Av Holger Hermanns

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Validation of Stochastic Systems

A Guide to Current Research

Av Christel Baier, Boudewijn R. Haverkort m. fl

Häftad, Engelska, 2004

709 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

Av Holger Hermanns, Jens Palsberg

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

CONCUR 2006 - Concurrency Theory

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

Av Christel Baier, Holger Hermanns

Häftad, Engelska, 2006

1 449 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

Av Ed Brinksma, Holger Hermanns m. fl

Häftad, Engelska, 2001

729 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

Av Holger Hermanns, Roberto Segala

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Interactive Markov Chains

The Quest for Quantified Quality

Av Holger Hermanns

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Werner Damm, Holger Hermanns

Häftad, Engelska, 2007

729 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

Av Holger Hermanns, Jun Sun m. fl

Häftad, Engelska, 2023

1 119 kr

Skickas inom 10-15 vardagar