Bowen, Jonathan P.
概要
作品: | 1 作品在 7 項出版品 1 種語言 |
---|
書目資訊
Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday /
by:
SpringerLink (Online service); Xu, Qiwen.; Bowen, Jonathan P.; Li, Qin.
(書目-語言資料,印刷品)
Museums and digital culture = new perspectives and research /
by:
Bowen, Jonathan P.; SpringerLink (Online service); Giannini, Tula.
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures /
by:
SpringerLink (Online service); Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
by:
SpringerLink (Online service); Liu, Zhiming.; Bowen, Jonathan P.; Zhang, Zili.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures /
by:
Bowen, Jonathan P.; Liu, Zhiming.; Workshop on the Preservation of Stability under Discretization ((2001 :); Zhang, Zili.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Museums and Digital Culture = New Perspectives and Research /
by:
Giannini, Tula.; SpringerLink (Online service); Bowen, Jonathan P.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Bowen, Jonathan P.; Zhu, Huibiao.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Zhang, Zili.; Liu, Zhiming.; Bowen, Jonathan P.
(書目-語言資料,印刷品)
Electronic visualisation in arts and culture
by:
Ng, Kia.; SpringerLink (Online service); Keene, Suzanne.; Bowen, Jonathan P.
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
by:
Zhang, Zili.; Liu, Zhiming.; Bowen, Jonathan P.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures /
by:
SpringerLink (Online service); Liu, Zhiming.; Bowen, Jonathan P.; Zhang, Zili.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
更多
較少的
主題
Mathematical logic.
Formal methods (Computer science)
Computer System Implementation.
Arts
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Cultural heritage.
Museums and the Internet.
Programming Techniques.
Computer programming.
Computer programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Application software.
User interfaces (Computer systems).
Artificial Intelligence.
Communication in museums.
Internet of things.
Arts.
Visualization
Natural Language Processing (NLP).
Cultural Heritage.
Computer system failures.
User Interfaces and Human Computer Interaction.
Computers.
Software engineering
Art and technology
Technology and the arts
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer software
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Image processing
Algorithm Analysis and Problem Complexity.
Computer logic.
System Performance and Evaluation.
Computer Appl. in Arts and Humanities.
Natural language processing (Computer science).
The Computing Profession.
Architecture, Computer.
Computer Science.
Cultural Studies.
Computer communication systems.
Computer security