Treffer 1 – 20 von 26 für Suche 'Bowen, Jonathan P.', Suchdauer: 0,07s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Alan Turing Vater der Informatik und der Künstlichen Intelligenz (1912 - 1954) von Bowen, Jonathan P. 1956-
Veröffentlicht 2013Signatur: Wird geladen …
Standort: Wird geladen … -
2
The specification of network services von Bowen, Jonathan P. 1956-, Gimson, Roger, Topp-Jørgensen, Stig
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
3
Early virtual science museums: when the technology is not mature von Bowen, Jonathan P. 1956-, Borda, Ann, Gaia, Giuliano, Boiano, Stefania
Veröffentlicht 2024Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Artikel Fernleihe Bestellen -
4
Electronic Visualisation in Arts and Culture von Bowen, Jonathan P. 1956-
Veröffentlicht 2013Signatur: Wird geladen …
Standort: Wird geladen … -
5
Web access to cultural heritage for the disabled von Bowen, Jonathan P. 1956-
Veröffentlicht 2005Signatur: Wird geladen …
Standort: Wird geladen … -
6
Specifying system implementations in Z von Bowen, Jonathan P. 1956-, Gimson, Roger, Topp-Jørgensen, Stig
Veröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen … -
7
Unifying theories of programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers
Veröffentlicht 2017Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch Tagungsbericht E-Book -
8
The Arts and Computational Culture: Real and Virtual Worlds
Veröffentlicht 2024Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch E-Book -
9
Museums and digital culture new perspectives and research
Veröffentlicht 2019Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch E-Book -
10
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Veröffentlicht 2023Weitere Verfasser: “… Bowen, Jonathan P. …”
Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch E-Book -
11
Engineering trustworthy software systems 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures
Veröffentlicht 2020Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
12
Engineering trustworthy software systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018 : tutorial lectures
Veröffentlicht 2019Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
13
Engineering trustworthy software systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures
Veröffentlicht 2018Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book -
14
Engineering trustworthy software systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures
Veröffentlicht 2017Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch Tagungsbericht E-Book -
15
Provably correct systems
Veröffentlicht 2017Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch E-Book -
16
Engineering trustworthy software systems 4th international school, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures
Veröffentlicht 2019Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …
Standort: Wird geladen … -
17
Engineering trustworthy software systems second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures
Veröffentlicht 2017Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …
Standort: Wird geladen … -
18
Engineering trustworthy software systems third international school, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures
Veröffentlicht 2018Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …
Standort: Wird geladen … -
19
Unifying theories of programming 6th international Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers
Veröffentlicht 2017Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …
Standort: Wird geladen … -
20
Engineering trustworthy software systems 5th international school, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures
Veröffentlicht 2020Weitere Verfasser: “… Bowen, Jonathan P. 1956- …”
Signatur: Wird geladen …
Standort: Wird geladen …