作者: Jonathan P. Bowen

支持
​ Tula Giannini is a Professor in the School of Information at the Pratt Institute, New York, USA. She was formerly Dean of the School during 2014–2017. At Pratt, she has initiated and managed several successful collaborative digitization projects with leading New York City museums, libraries, and related cultural institutions, supported by the IMLS (Institute of Museum and Library Services) and other funding agencies. She has also established a Master of Science (MS) in Museums and Digital Culture. She has co-organized the EVA London Symposium, associated with the annual EVA London Conference on Electronic Visualisation and the Arts since 2016. She co-edited the 2019 book Museums and Digital Culture in the Springer Series on Cultural Computing. Professor Giannini has an interest in musicology and has contributed entries in The Grove Dictionary of Musical Instruments, published by Oxford University Press. Jonathan P. Bowen FBCS FRSA is an Emeritus Professor of Computing at London South Bank University in London, UK, an Adjunct Professor at Southwest University in Chongqing, China, and Chair of Museophile Limited, a UK consultancy company in the field of museums and IT. In 1994, he founded the Virtual Library museums pages (VLmp), part of the WWW Virtual Library, later adopted by the International Council of Museums (ICOM). He was invited to be the Honorary Chair of the first Museums and the Web conference in 1997 and was a regular contributor subsequently. More recently he has been co-chair of the annual EVA London Conference on Electronic Visualisation and the Arts. In 2013. he was a co-editor of Electronic Visualisation in Arts and Culture, published in the Springer Series on Cultural Computing. In 2017, he co-authored The Turing Guide, on the life and work of the computing pioneer Alan Turing, published by Oxford University Press and, in 2019, he co-edited Museums and Digital Culture, again in the Springer Series on Cultural Computing. Professor Bowen is a Life Fellow of the British Computer Society (BCS), a Life Fellow of the Royal Society of Arts (RSA), and an Emeritus Freeman of the Worshipful Company of Information Technologists (WCIT).




19 电子书 Jonathan P. Bowen

Jonathan P. Bowen & Suzanne Keene: Electronic Visualisation in Arts and Culture
Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Electronic Visualisation in Arts and Culture is prese …
PDF
英语
€139.09
Mike Hinchey & Jonathan P. Bowen: Provably Correct Systems
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost …
PDF
英语
€96.29
Tula Giannini & Jonathan P. Bowen: Museums and Digital Culture
This book explores how digital culture is transforming museums in the 21st century. Offering a corpus of new evidence for readers to explore, the authors trace the digital evolution of the museum and …
PDF
英语
€171.19
Jonathan P. Bowen & Michael G. Hinchey: Industrial-Strength Formal Methods in Practice
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by …
PDF
英语
DRM
€166.32
Jonathan P. Bowen & Michael G. Hinchey: High-Integrity System Specification and Design
Errata, detected in Taylor’s Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 – Nautical Almanac (1832) In the list of ERRATA detected in Taylor’s Logarithms, for cos. 4(deg) …
PDF
英语
DRM
€57.37
Jonathan P. Bowen & Zhiming Liu: Engineering Trustworthy Software Systems
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at …
EPUB
英语
DRM
€57.82
Jonathan P. Bowen & Zhiming Liu: Engineering Trustworthy Software Systems
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS …
EPUB
英语
DRM
€63.49
Jonathan P. Bowen & Huibiao Zhu: Unifying Theories of Programming
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th …
EPUB
英语
DRM
€57.28
Jonathan P. Bowen & Zhiming Liu: Engineering Trustworthy Software Systems
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at …
EPUB
英语
DRM
€56.99
Jonathan P. Bowen & Steve Dunne: ZB 2000: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together …
PDF
英语
DRM
€57.10
Jonathan P. Bowen & Andreas Fett: ZUM ’98: The Z Formal Specification Notation
1 In a number of recent presentations – most notably at FME’96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare, has highlighted the fact that formal methods are not the only …
PDF
英语
DRM
€57.04
Jonathan P. Bowen & Mark Harman: Formal Methods and Testing
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network – formed as a network established under UK EPSRC funding that investigated …
PDF
英语
DRM
€57.02
Paul Boca & Egon Borger: Abstract State Machines, B and Z
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference …
PDF
英语
DRM
€57.02
Jonathan P. Bowen & Zhiming Liu: Engineering Trustworthy Software Systems
This book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019.The five chapters in …
PDF
英语
DRM
€57.82
Jonathan P. Bowen & Qin Li: Theories of Programming and Formal Methods
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a …
EPUB
英语
DRM
€77.01
Tula Giannini & Jonathan P. Bowen: The Arts and Computational Culture: Real and Virtual Worlds
A Paradigm Shift and Defining Moment in the 21st Century:  Fuelled by the convergence of computational culture, artificial intelligence, and machine learning, arts and culture are experiencing a …
PDF
英语
€213.99