Bowen, Jonathan P.
Overview
Works: | 1 works in 7 publications in 1 languages |
---|
Titles
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)
Museums and digital culture = new perspectives and research /
by:
Bowen, Jonathan P.; SpringerLink (Online service); Giannini, Tula.
(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
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