Holger Hermanns – författare
Visar alla böcker från författaren Holger Hermanns. Handla med fri frakt och snabb leverans.
19 produkter
Measurement, Modelling and Evaluation of Computing Systems
20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrücken, Germany, in March 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 32 …
Measurement, Modelling and Evaluation of Computing Systems
20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrücken, Germany, in March 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 32 …
Validation of Stochastic Systems
A Guide to Current Research
Av Christel Baier, Boudewijn R. Haverkort m. fl.
Häftad, 2004
551 kr
Lägg i varukorg
It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project "Validation of Stochastic Systems" (VOSS), ?nanced by NWO and DFG (the Dutch and German science foundations, …
Validation of Stochastic Systems
A Guide to Current Research
Av Markus Siegle, Joost-Pieter Katoen m. fl.
E-bok, 2004
734 kr
Lägg i varukorg
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, 2006
567 kr
Lägg i varukorg
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, …
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 Jens Palsberg, Holger Hermanns
E-bok, 2006
755 kr
Lägg i varukorg
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, …
CONCUR 2006 - Concurrency Theory
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Av Christel Baier, Holger Hermanns
Häftad, 2006
1128 kr
Lägg i varukorg
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers and students in order to advance the theory of concurrency and …
CONCUR 2006 - Concurrency Theory
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Av Holger Hermanns, Christel Baier
E-bok, 2006
1502 kr
Lägg i varukorg
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers and students in order to advance the theory of concurrency and …
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, 2001
567 kr
Lägg i varukorg
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and …
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, 2002
551 kr
Lägg i varukorg
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and …
Interactive Markov Chains
The Quest for Quantified Quality
Häftad, 2002
551 kr
Lägg i varukorg
Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains.Based on principles known from process algebra, the author systematically …
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 Joost-Pieter Katoen, Holger Hermanns m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and …
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
Av Roberto Segala, Holger Hermanns
E-bok, 2003
712 kr
Lägg i varukorg
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and …
Interactive Markov Chains
The Quest for Quantified Quality
E-bok, 2003
734 kr
Lägg i varukorg
Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains. Based on principles known from process algebra, the author systematically …
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Av Werner Damm, Holger Hermanns
Häftad, 2007
567 kr
Lägg i varukorg
This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3–7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods …
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Av Holger Hermanns, Werner Damm
E-bok, 2007
755 kr
Lägg i varukorg
This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3–7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods …
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, 2023
904 kr
Lägg i varukorg
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023.The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest …
Dependable Software Engineering. Theories, Tools, and Applications
9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings
E-bok, 2023
1175 kr
Lägg i varukorg
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023. The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest …
