Hoppa till sidans huvudinnehåll

Holger Hermanns - Böcker

Visar alla böcker från författaren Holger Hermanns.
9 produkter
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

719 kr

Skickas inom 10-15 vardagar

Validation of Stochastic Systems

A Guide to Current Research

AvChristel Baier,Boudewijn R. Haverkort,Holger Hermanns,Joost-Pieter Katoen,Markus Siegle

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

AvHolger 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

AvChristel Baier,Holger Hermanns

Häftad, Engelska, 2006

1 439 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,Joost-Pieter Katoen

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

AvHolger Hermanns,Roberto Segala

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Interactive Markov Chains

The Quest for Quantified Quality

AvHolger 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

AvWerner Damm,Holger Hermanns

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

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 Sun,Lei Bu

Häftad, Engelska, 2023

1 159 kr

Skickas inom 7-10 vardagar