Holger Hermanns - Böcker

Visar alla böcker från författaren Holger Hermanns.
9 produkter
Holger Hermanns - Measurement, Modelling and Evaluation of Computing Systems, Häftad

Measurement, Modelling and Evaluation of Computing Systems

Av Holger Hermanns

Häftad, Engelska, 2020

739 kr

Skickas inom 7-10 vardagar
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle - Validation of Stochastic Systems, Häftad
Del 2925 - Lecture Notes in Computer Science

Validation of Stochastic Systems

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

Häftad, Engelska, 2004

719 kr

Skickas inom 7-10 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

Av Holger Hermanns, Jens Palsberg

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Christel Baier, Holger Hermanns - CONCUR 2006 - Concurrency Theory, Häftad

CONCUR 2006 - Concurrency Theory

Av Christel Baier, Holger Hermanns

Häftad, Engelska, 2006

1 459 kr

Skickas inom 7-10 vardagar
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis, Häftad
Del 2090 - Lecture Notes in Computer Science

Lectures on Formal Methods and Performance Analysis

Av Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

Häftad, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar
Holger Hermanns, Roberto Segala - Process Algebra and Probabilistic Methods: Performance Modeling and Verification, Häftad
Del 2399 - Lecture Notes in Computer Science

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Av Holger Hermanns, Roberto Segala

Häftad, Engelska, 2002

719 kr

Skickas inom 7-10 vardagar
Holger Hermanns - Interactive Markov Chains, Häftad
Del 2428 - Lecture Notes in Computer Science

Interactive Markov Chains

Av Holger Hermanns

Häftad, Engelska, 2002

719 kr

Skickas inom 7-10 vardagar
Werner Damm, Holger Hermanns - Computer Aided Verification, Häftad

Computer Aided Verification

Av Werner Damm, Holger Hermanns

Häftad, Engelska, 2007

739 kr

Skickas inom 7-10 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

Av Holger Hermanns, Jun Sun, Lei Bu

Häftad, Engelska, 2023

1 109 kr

Skickas inom 5-8 vardagar