Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 5
Erscheinungsjahr
  • 2
  • 3
  • 3
  • 1
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 11
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 6
  • 5
Preis
  • 1
  • 10
Sprachen
  • 11
Verfügbarkeit
  • 11
Katalog
  • 11
11  Treffer  für „Wies, Thomas“
    Wies | Programming Languages and Systems | Buch | Sack Fachmedien

    Wies Programming Languages and Systems

    32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30043-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Wies | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Finkbeiner / Wies Verification, Model Checking, and Abstract Interpretation

    23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-94582-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paskevich / Wies | Verified Software. Theories, Tools, and Experiments | eBook | Sack Fachmedien
    E-Book

    Paskevich / Wies Verified Software. Theories, Tools, and Experiments

    9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-72308-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mohaisen / Wies | Networked Systems | Buch | Sack Fachmedien

    Mohaisen / Wies Networked Systems

    11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37764-8
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mohaisen / Wies | Networked Systems | eBook | Sack Fachmedien
    E-Book

    Mohaisen / Wies Networked Systems

    11th International Conference, NETYS 2023, Benguerir, Morocco, May 22–24, 2023, Proceedings
    Erscheinungsjahr 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-37765-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    64,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Paskevich / Wies | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Paskevich / Wies Verified Software. Theories, Tools, and Experiments

    9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-72307-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Wies | Verification, Model Checking, and Abstract Interpretation | eBook | Sack Fachmedien
    E-Book

    Finkbeiner / Wies Verification, Model Checking, and Abstract Interpretation

    23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
    Erscheinungsjahr 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-94583-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Krishna / Patel / Shasha | Automated Verification of Concurrent Search Structures | Buch | Sack Fachmedien

    Krishna / Patel / Shasha Automated Verification of Concurrent Search Structures

    Erscheinungsjahr 2021
    Verlag: Springer
    ISBN: 978-3-031-00678-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dietsch / Rybalchenko / Schäf | On the Pursuit of Insight and Elegance | Buch | Sack Fachmedien

    Dietsch / Rybalchenko / Schäf On the Pursuit of Insight and Elegance

    Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-13710-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dietsch / Rybalchenko / Schäf | On the Pursuit of Insight and Elegance | eBook | Sack Fachmedien
    E-Book

    Dietsch / Rybalchenko / Schäf On the Pursuit of Insight and Elegance

    Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
    Erscheinungsjahr 2026
    Verlag: Springer International Publishing
    ISBN: 978-3-032-13711-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Krishna / Patel / Shasha | Automated Verification of Concurrent Search Structures | eBook | Sack Fachmedien
    E-Book

    Krishna / Patel / Shasha Automated Verification of Concurrent Search Structures

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-01806-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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