Ergebnisse filtern
Fachgebiet
Medium
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 9
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 2
  • 5
  • 1
  • 1
Preis
  • 8
  • 1
Sprachen
  • 9
Verfügbarkeit
  • 9
Katalog
  • 9

Mathematik | Informatik

9  Treffer  für „Hermanns, Holger“
Alle Filter löschen
    Hermanns | Interactive Markov Chains | Buch | Sack Fachmedien

    Hermanns Interactive Markov Chains

    The Quest for Quantified Quality
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44261-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns | Measurement, Modelling and Evaluation of Computing Systems | Buch | Sack Fachmedien

    Hermanns Measurement, Modelling and Evaluation of Computing Systems

    20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-43023-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Segala / Hermanns | Process Algebra and Probabilistic Methods: Performance Modeling and Verification | Buch | Sack Fachmedien

    Segala / Hermanns Process Algebra and Probabilistic Methods: Performance Modeling and Verification

    Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43913-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Damm | Computer Aided Verification | Buch | Sack Fachmedien

    Hermanns / Damm Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73367-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Palsberg | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    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, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-33056-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Hermanns | CONCUR 2006 - Concurrency Theory | Buch | Sack Fachmedien

    Baier / Hermanns CONCUR 2006 - Concurrency Theory

    17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
    2006
    Verlag: Springer
    ISBN: 978-3-540-37376-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Bu / Sun | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Hermanns / Bu / Sun Dependable Software Engineering. Theories, Tools, and Applications

    9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer Nature Singapore
    ISBN: 978-981-99-8663-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Katoen / Hermanns | Lectures on Formal Methods and Performance Analysis | Buch | Sack Fachmedien

    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 Lectures
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42479-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Haverkort / Siegle | Validation of Stochastic Systems | Buch | Sack Fachmedien

    Baier / Haverkort / Siegle Validation of Stochastic Systems

    A Guide to Current Research
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22265-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular