Ergebnisse filtern
-
- 9
- 9
-
- 9
- 5
- 2
- 1
- 1
-
- 17
- 1
-
- 18
-
- 18
-
- 18
-
Hermanns Measurement, Modelling and Evaluation of Computing Systems
20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, ProceedingsErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-43024-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Hermanns Interactive Markov Chains
The Quest for Quantified Quality2002Verlag: SpringerISBN: 978-3-540-45804-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Hermanns Measurement, Modelling and Evaluation of Computing Systems
20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-43023-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hermanns Interactive Markov Chains
The Quest for Quantified Quality2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44261-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Segala / Hermanns Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43913-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baier / Hermanns CONCUR 2006 - Concurrency Theory
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 20062006Verlag: SpringerISBN: 978-3-540-37377-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Hermanns / Damm Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73367-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hermanns / Palsberg 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, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33056-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Damm / Hermanns Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-73368-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Baier / Hermanns CONCUR 2006 - Concurrency Theory
17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 20061. Auflage 2006Verlag: SpringerISBN: 978-3-540-37376-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hermanns / Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings2002Verlag: SpringerISBN: 978-3-540-45605-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Hermanns / Palsberg 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, Proceedings2006Verlag: SpringerISBN: 978-3-540-33057-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Hermanns / Bu / Sun Dependable Software Engineering. Theories, Tools, and Applications
9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SingaporeISBN: 978-981-99-8663-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hermanns / Sun / Bu Dependable Software Engineering. Theories, Tools, and Applications
9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings1. Auflage 2024Verlag: Springer SingaporeISBN: 978-981-99-8664-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar
-
Brinksma / Katoen / Hermanns 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 Lectures2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42479-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Brinksma / Hermanns / Katoen 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 Lectures2001Verlag: SpringerISBN: 978-3-540-44667-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Baier / Haverkort / Hermanns Validation of Stochastic Systems
A Guide to Current Research2004Verlag: SpringerISBN: 978-3-540-24611-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Baier / Haverkort / Siegle Validation of Stochastic Systems
A Guide to Current Research2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22265-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
