語系
Bowen, Jonathan P.
概要
| 作品: | 1 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Engineering trustworthy software systems5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(書目-電子資源)
Provably correct systems
by:
Bowen, Jonathan P.; Hinchey, Mike G.; Olderog, Ernst-Rudiger.; SpringerLink (Online service)
(書目-電子資源)
Formal methodsstate of the art and new directions /
by:
Boca, Paul.; Bowen, Jonathan P.; Siddiqi, Jawed.; SpringerLink (Online service)
(書目-電子資源)
Museums and digital culturenew perspectives and research /
by:
Bowen, Jonathan P.; Giannini, Tula.; SpringerLink (Online service)
(書目-電子資源)
Engineering trustworthy software systems4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(書目-電子資源)
Engineering trustworthy software systemssecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(書目-電子資源)
Unifying theories of programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(1998 :); Bowen, Jonathan P.; SpringerLink (Online service); Zhu, Huibiao.
(書目-電子資源)
Engineering trustworthy software systemsthird International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures /
by:
(1998 :); Bowen, Jonathan P.; Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(書目-電子資源)
ZB 2000formal specification and development in Z and B: first International Conference of B and Z Users, York, UK, August 29 - September 2, 2000 : proceedings /
by:
(1998 :); Bowen, Jonathan P.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Natural Language Processing (NLP)
Z (Computer program language)
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computation by Abstract Devices.
Computer software
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
User Interfaces and Human Computer Interaction.
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.