Bowen, Jonathan P.
概要
| 作品: | 1 作品在 8 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures /
by:
SETSS (International school) (2018 :); Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service)
(書目-電子資源)
Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday /
by:
Bowen, Jonathan P.; SpringerLink (Online service); Xu, Qiwen.; Li, Qin.
(書目-電子資源)
Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
SETSS (Summer school) (2016 :); Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service)
(書目-電子資源)
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 /
by:
Bowen, Jonathan P.; SpringerLink (Online service); International Conference of B and Z Users (2000 :)
(書目-語言資料,印刷品)
Museums and digital culture = new perspectives and research /
by:
Giannini, Tula.; Bowen, Jonathan P.; SpringerLink (Online service)
(書目-電子資源)
Engineering trustworthy software systems = 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures /
by:
SETSS (International school) (2019 :); Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili.; SpringerLink (Online service)
(書目-電子資源)
Provably correct systems
by:
Hinchey, Mike G.; Bowen, Jonathan P.; Olderog, Ernst-Rudiger.; SpringerLink (Online service)
(書目-電子資源)
Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
UTP (Symposium) (2016 :); Bowen, Jonathan P.; Zhu, Huibiao.; SpringerLink (Online service)
(書目-電子資源)
The arts and computational culture = real and virtual worlds /
by:
Giannini, Tula.; Bowen, Jonathan P.; SpringerLink (Online service)
(書目-電子資源)
Formal methods = state of the art and new directions /
by:
Boca, Paul.; Bowen, Jonathan P.; Siddiqi, Jawed.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Natural Language Processing (NLP)
Z (Computer program language)
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Technology and the arts.
Computation by Abstract Devices.
Programming Techniques.
Computer software
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Computer software- Verification.
User Interfaces and Human Computer Interaction.
Virtual reality.
Arts.
Software engineering.
Computer Science Logic and Foundations of Programming.
Models and Principles.
Embedded computer systems.
Computer security
The Computing Profession.
Artificial Intelligence.
Museums and the Internet.
B (Computer program language)
Computer Science.
System Performance and Evaluation.
Computer Communication Networks.
Computer Appl. in Arts and Humanities.
Computer System Implementation.
Communication in museums.
Internet of things.
Cultural Heritage.
Computer programming.