Suchergebnisse - Bowen, Jonathan P. 1956-

Treffer filtern
  1. 1
    Buchumschlag

    The specification of network services
    von Bowen, Jonathan P. 1956-, Gimson, Roger, Topp-Jørgensen, Stig

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Specifying system implementations in Z
    von Bowen, Jonathan P. 1956-, Gimson, Roger, Topp-Jørgensen, Stig

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Alan Turing: Vater der Informatik und der Künstlichen Intelligenz (1912 - 1954)
    von Bowen, Jonathan P. 1956-

    Veröffentlicht 2013
    Paper


    Gespeichert in:
  4. 4
    Buchumschlag

    Early virtual science museums: when the technology is not mature
    von Bowen, Jonathan P. 1956-, Borda, Ann, Gaia, Giuliano, Boiano, Stefania

    Veröffentlicht 2024
    Paper


    Gespeichert in:
  5. 5
    Buchumschlag

    Electronic Visualisation in Arts and Culture
    von Bowen, Jonathan P. 1956-

    Veröffentlicht 2013
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Web access to cultural heritage for the disabled
    von Bowen, Jonathan P. 1956-

    Veröffentlicht 2005
    Paper


    Gespeichert in:
  7. 7
    Buchumschlag

    Unifying theories of programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Engineering trustworthy software systems: 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Engineering trustworthy software systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018 : tutorial lectures

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Engineering trustworthy software systems: Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Engineering trustworthy software systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    Museums and digital culture: new perspectives and research

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Elektronisch E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    Museums and digital culture: new perspectives and research

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    The Arts and Computational Culture: Real and Virtual Worlds

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Provably correct systems

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    The Turing guide

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Engineering trustworthy software systems: 4th international school, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Tagungsbericht Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Engineering trustworthy software systems: third international school, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Tagungsbericht Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Engineering trustworthy software systems: second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Tagungsbericht Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Unifying theories of programming: 6th international Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Bowen, Jonathan P. 1956- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: