Bowen, Jonathan P.
Overview
Works: | 1 works in 7 publications in 1 languages |
---|
Titles
Museums and digital culture = new perspectives and research /
by:
Bowen, Jonathan P.; SpringerLink (Online service); Giannini, Tula.
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
, [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 :)
(Language materials, printed)
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)
(Language materials, printed)
Museums and Digital Culture = New Perspectives and Research /
by:
Giannini, Tula.; SpringerLink (Online service); Bowen, Jonathan P.
(Language materials, printed)
, [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)
(Language materials, printed)
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.
(Language materials, printed)
Electronic visualisation in arts and culture
by:
Ng, Kia.; SpringerLink (Online service); Keene, Suzanne.; Bowen, Jonathan P.
(Language materials, printed)
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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Show more
Fewer
Subjects
Computer System Implementation.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Cultural heritage.
Museums and the Internet.
Computer programming
Logics and Meanings of Programs.
Algorithms.
Application software.
Communication in museums.
Internet of things.
Cultural Heritage.
Computers.
Image processing
Algorithm Analysis and Problem Complexity.
Computer logic.
System Performance and Evaluation.
Computer Appl. in Arts and Humanities.
Natural language processing (Computer science).
Architecture, Computer.
Computer Science.
Computer communication systems.
Art and technology
Technology and the arts
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer software
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.
Mathematical logic.
Formal methods (Computer science)
Arts
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
User interfaces (Computer systems).
Artificial Intelligence.
Natural Language Processing (NLP).
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
The Computing Profession.
Cultural Studies.
Computer security
Arts.
Visualization
Computer system failures.
User Interfaces and Human Computer Interaction.
Programming languages (Electronic computers).