Ergebnisse filtern
Fachgebiet
Medium
  • 7
  • 4
Erscheinungsjahr
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
Verlag
  • 1
  • 2
  • 8
Preis
  • 2
  • 9
Sprachen
  • 11
Verfügbarkeit
  • 11
Katalog
  • 11
11  Treffer  für „Larsen, Kim Guldstrand“
    Larsen / Willemse | Formal Methods for Industrial Critical Systems | eBook | Sack Fachmedien
    E-Book

    Larsen / Willemse Formal Methods for Industrial Critical Systems

    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27008-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Willemse / Larsen | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Willemse / Larsen Formal Methods for Industrial Critical Systems

    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27007-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Groote | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72015-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Groote | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72012-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Wang / Sokolsky | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Larsen / Wang / Sokolsky Dependable Software Engineering. Theories, Tools, and Applications

    Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-69482-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Sokolsky / Wang | Dependable Software Engineering. Theories, Tools, and Applications | eBook | Sack Fachmedien
    E-Book

    Larsen / Sokolsky / Wang Dependable Software Engineering. Theories, Tools, and Applications

    Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-69483-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    D'Souza / Larsen / Lal | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    D'Souza / Larsen / Lal Verification, Model Checking, and Abstract Interpretation

    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46080-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Potapov / Srba | Reachability Problems | eBook | Sack Fachmedien
    E-Book

    Larsen / Potapov / Srba Reachability Problems

    10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45994-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    D'Souza / Lal / Larsen | Verification, Model Checking, and Abstract Interpretation | eBook | Sack Fachmedien
    E-Book

    D'Souza / Lal / Larsen Verification, Model Checking, and Abstract Interpretation

    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-46081-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Larsen / Srba / Potapov | Reachability Problems | Buch | Sack Fachmedien

    Larsen / Srba / Potapov Reachability Problems

    10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45993-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anvari-Moghaddam / Mohammadi-ivatloo / Asadi | Sustainable Energy Systems Planning, Integration and Management | Buch | Sack Fachmedien

    Anvari-Moghaddam / Mohammadi-ivatloo / Asadi Sustainable Energy Systems Planning, Integration and Management

    Erscheinungsjahr 2020
    Verlag: MDPI AG
    ISBN: 978-3-03928-046-9
    Medium: Buch
    96,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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