Ergebnisse filtern
Fachgebiet
Medium
  • 27
  • 13
Erscheinungsjahr
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 40
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 10
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 8
  • 2
  • 1
Verlag
  • 28
  • 9
  • 1
  • 2
Preis
  • 25
  • 15
Sprachen
  • 40
Verfügbarkeit
  • 39
  • 1
Katalog
  • 40
40  Treffer  für „Bowen, Jonathan P.“
    Giannini / Bowen | Museums and Digital Culture | eBook | Sack Fachmedien
    E-Book

    Giannini / Bowen Museums and Digital Culture

    New Perspectives and Research
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-97457-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    171,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Turrini | Engineering Trustworthy Software Systems | eBook | Sack Fachmedien
    E-Book

    Bowen / Turrini Engineering Trustworthy Software Systems

    7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
    Erscheinungsjahr 2026
    Verlag: Springer Singapore
    ISBN: 978-981-958617-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Giannini / Bowen | Museums and Digital Culture | Buch | Sack Fachmedien

    Giannini / Bowen Museums and Digital Culture

    New Perspectives and Research
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-319-97456-9
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Zhu | Unifying Theories of Programming | eBook | Sack Fachmedien
    E-Book

    Bowen / Zhu Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-52228-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Turrini | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Turrini Engineering Trustworthy Software Systems

    7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-958616-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giannini / Bowen | The Arts and Computational Culture: Real and Virtual Worlds | Buch | Sack Fachmedien

    Giannini / Bowen The Arts and Computational Culture: Real and Virtual Worlds

    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-53867-4
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giannini / Bowen | The Arts and Computational Culture: Real and Virtual Worlds | eBook | Sack Fachmedien
    E-Book

    Giannini / Bowen The Arts and Computational Culture: Real and Virtual Worlds

    1. Auflage 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-53865-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    245,03 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Giannini / Bowen | The Arts and Computational Culture: Real and Virtual Worlds | Buch | Sack Fachmedien

    Giannini / Bowen The Arts and Computational Culture: Real and Virtual Worlds

    2024
    Verlag: Springer
    ISBN: 978-3-031-53864-3
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Zhu | Unifying Theories of Programming | Buch | Sack Fachmedien

    Bowen / Zhu Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-52227-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Hinchey | High-Integrity System Specification and Design | Buch | Sack Fachmedien

    Bowen / Hinchey High-Integrity System Specification and Design

    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-76226-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Hinchey | ZUM '95: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Hinchey ZUM '95: The Z Formal Specification Notation

    9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60271-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Bowen | Industrial-Strength Formal Methods in Practice | Buch | Sack Fachmedien

    Hinchey / Bowen Industrial-Strength Formal Methods in Practice

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-1-85233-640-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Keene / Ng | Electronic Visualisation in Arts and Culture | eBook | Sack Fachmedien
    E-Book

    Bowen / Keene / Ng Electronic Visualisation in Arts and Culture

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-1-4471-5406-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Gomes / Liu | Engineering Trustworthy Software Systems | eBook | Sack Fachmedien
    E-Book

    Bowen / Gomes / Liu Engineering Trustworthy Software Systems

    6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
    Erscheinungsjahr 2025
    Verlag: Springer Singapore
    ISBN: 978-981-964656-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Boca / Bowen / Siddiqi | Formal Methods | Buch | Sack Fachmedien

    Boca / Bowen / Siddiqi Formal Methods

    State of the Art and New Directions
    1. Auflage. 2009
    Verlag: Springer Nature B.V.
    ISBN: 978-1-84882-735-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Bowen / Keene / Ng | Electronic Visualisation in Arts and Culture | Buch | Sack Fachmedien

    Bowen / Keene / Ng Electronic Visualisation in Arts and Culture

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4471-5405-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Keene / Ng | Electronic Visualisation in Arts and Culture | Buch | Sack Fachmedien

    Bowen / Keene / Ng Electronic Visualisation in Arts and Culture

    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-1-4471-7235-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boca / Bowen / Siddiqi | Formal Methods: State of the Art and New Directions | Buch | Sack Fachmedien

    Boca / Bowen / Siddiqi Formal Methods: State of the Art and New Directions

    2010
    Verlag: Springer
    ISBN: 978-1-4471-5745-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-55088-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-56840-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02927-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | eBook | Sack Fachmedien
    E-Book

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-55089-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Li / Xu | Theories of Programming and Formal Methods | eBook | Sack Fachmedien
    E-Book

    Bowen / Li / Xu Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
    Erscheinungsjahr 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-40436-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    74,89 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | eBook | Sack Fachmedien
    E-Book

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-17601-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | eBook | Sack Fachmedien
    E-Book

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
    Erscheinungsjahr 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-56841-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | eBook | Sack Fachmedien
    E-Book

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-02928-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bowen / Li / Xu | Theories of Programming and Formal Methods | Buch | Sack Fachmedien

    Bowen / Li / Xu Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40435-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Gomes / Liu | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Gomes / Liu Engineering Trustworthy Software Systems

    6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-964655-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Liu / Zhang | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Bowen / Liu / Zhang Engineering Trustworthy Software Systems

    4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17600-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Hinchey / Till | ZUM'97: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Hinchey / Till ZUM'97: The Z Formal Specification Notation

    10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62717-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Bowen / Olderog | Provably Correct Systems | eBook | Sack Fachmedien
    E-Book

    Hinchey / Bowen / Olderog Provably Correct Systems

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48628-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hierons / Bowen / Harman | Formal Methods and Testing | Buch | Sack Fachmedien

    Hierons / Bowen / Harman Formal Methods and Testing

    An Outcome of the FORTEST Network. Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78916-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Fett / Hinchey | ZUM '98: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation

    11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65070-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Bowen / Olderog | Provably Correct Systems | Buch | Sack Fachmedien

    Hinchey / Bowen / Olderog Provably Correct Systems

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-48627-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Bowen / Olderog | Provably Correct Systems | Buch | Sack Fachmedien

    Hinchey / Bowen / Olderog Provably Correct Systems

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-83980-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Dunne / Galloway | ZB 2000: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bowen / Dunne / Galloway ZB 2000: Formal Specification and Development in Z and B

    First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67944-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Bowen / King | ZB 2003: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Bowen / King ZB 2003: Formal Specification and Development in Z and B

    Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40253-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Butler / Bowen | Abstract State Machines, B and Z | Buch | Sack Fachmedien

    Börger / Butler / Bowen Abstract State Machines, B and Z

    First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87602-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Bowen / King | ZB 2003: Formal Specification and Development in Z and B | eBook | Sack Fachmedien
    E-Book

    Bert / Bowen / King ZB 2003: Formal Specification and Development in Z and B

    Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-44880-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bert / Bowen / Henson | ZB 2002: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B

    2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43166-4
    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