Jonathan P. Bowen – författare
Visar alla böcker från författaren Jonathan P. Bowen. Handla med fri frakt och snabb leverans.
49 produkter
Industrial-Strength Formal Methods in Practice
Av Jonathan P. Bowen, Michael G. Hinchey
E-bok, 2012
2127 kr
Lägg i varukorg
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 an expert in software engineering or formal methods, and contains background information, …
High-Integrity System Specification and Design
Av Michael G. Hinchey, Jonathan P. Bowen
E-bok, 2012
732 kr
Lägg i varukorg
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° 18''3", read cos. 14° 18''2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR''S …
Electronic Visualisation in Arts and Culture
Av Jonathan P. Bowen, Suzanne Keene m. fl.
Inbunden, 2013
1641 kr
Lägg i varukorg
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 presented in five parts:Imaging and CultureNew Art PracticeSeeing MotionInteraction and Interfaces …
Electronic Visualisation in Arts and Culture
Av Kia Ng, Suzanne Keene m. fl.
E-bok, 2013
2174 kr
Lägg i varukorg
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 presented in five parts: Imaging and Culture New Art Practice Seeing Motion Interaction and Interfaces …
Formal Methods: State of the Art and New Directions
Av Paul Boca, Jonathan P. Bowen m. fl.
Häftad, 2014
1129 kr
Lägg i varukorg
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience …
Electronic Visualisation in Arts and Culture
Av Jonathan P. Bowen, Suzanne Keene m. fl.
Häftad, 2016
1641 kr
Lägg i varukorg
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 presented in five parts:Imaging and CultureNew Art PracticeSeeing MotionInteraction and Interfaces …
Formal Methods: State of the Art and New Directions
Av Paul Boca, Jonathan P. Bowen m. fl.
Inbunden, 2009
1129 kr
Lägg i varukorg
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience …
Formal Methods: State of the Art and New Directions
Av Jawed Siddiqi, Jonathan P. Bowen m. fl.
E-bok, 2009
1502 kr
Lägg i varukorg
Industrial-Strength Formal Methods in Practice
Av Michael G. Hinchey, Jonathan P. Bowen
Häftad, 1999
1690 kr
Lägg i varukorg
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 an expert in software engineering or formal methods, and contains background information, …
Engineering Trustworthy Software Systems
Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Av Jonathan P. Bowen, Zhiming Liu m. fl.
Häftad, 2018
568 kr
Lägg i varukorg
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 Southwest University in Chongqing, China.The six contributions included in this volume provide an overview …
Engineering Trustworthy Software Systems
Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Av Zili Zhang, Zhiming Liu m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
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 Southwest University in Chongqing, China. The six contributions included in this volume provide an overview …
Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Av Jonathan P. Bowen, Zhiming Liu m. fl.
Häftad, 2019
657 kr
Lägg i varukorg
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 2018, held in April 2018 at Southwest University in Chongqing, China.The five chapters in this …
Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Av Zili Zhang, Zhiming Liu m. fl.
E-bok, 2019
839 kr
Lägg i varukorg
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 2018, held in April 2018 at Southwest University in Chongqing, China. The five chapters in this …
Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
Av Jonathan P. Bowen, Zhiming Liu m. fl.
Häftad, 2020
568 kr
Lägg i varukorg
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 this volume provide lectures on leading-edge research in methods and tools for use in computer system …
Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
Av Zili Zhang, Zhiming Liu m. fl.
E-bok, 2020
732 kr
Lägg i varukorg
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 this volume provide lectures on leading-edge research in methods and tools for use in computer system …
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Av Jonathan P. Bowen, Qin Li m. fl.
Häftad, 2023
792 kr
Lägg i varukorg
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 dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher …
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
E-bok, 2023
975 kr
Lägg i varukorg
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 dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher …
Arts and Computational Culture: Real and Virtual Worlds
Av Tula Giannini, Jonathan P. Bowen
Inbunden, 2024
2587 kr
Kommande
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 revolutionary moment poised to change human life and society on a global scale. There is the promise of …
Arts and Computational Culture: Real and Virtual Worlds
Av Jonathan P. Bowen, Tula Giannini
E-bok, 2024
3348 kr
Lägg i varukorg
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 revolutionary moment poised to change human life and society on a global scale. There is the promise of …
Arts and Computational Culture: Real and Virtual Worlds
Av Tula Giannini, Jonathan P. Bowen
Häftad, 2025
2587 kr
Lägg i varukorg
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 revolutionary moment poised to change human life and society on a global scale. There is the promise of …
Provably Correct Systems
Av Mike Hinchey, Jonathan P. Bowen m. fl.
Inbunden, 2017
1127 kr
Lägg i varukorg
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 importance. This book consists of twelve chapters and one historical account that were presented at …
Provably Correct Systems
Av Ernst-Rudiger Olderog, Jonathan P. Bowen m. fl.
E-bok, 2017
1502 kr
Lägg i varukorg
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 importance. This book consists of twelve chapters and one historical account that were presented at …
Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Av Jonathan P. Bowen, Huibiao Zhu
Häftad, 2017
567 kr
Lägg i varukorg
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 International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers …
Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Av Huibiao Zhu, Jonathan P. Bowen
E-bok, 2017
755 kr
Lägg i varukorg
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 International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers …
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Av Jonathan P. Bowen, Zhiming Liu m. fl.
Häftad, 2017
568 kr
Lägg i varukorg
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 Southwest University in Chongqing, China.The six contributions included in this volume provide an …
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Av Zili Zhang, Zhiming Liu m. fl.
E-bok, 2017
739 kr
Lägg i varukorg
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 Southwest University in Chongqing, China. The six contributions included in this volume provide an …
Provably Correct Systems
Av Mike Hinchey, Jonathan P. Bowen m. fl.
Häftad, 2018
1127 kr
Lägg i varukorg
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 importance. This book consists of twelve chapters and one historical account that were presented at …
Museums and Digital Culture
New Perspectives and Research
Av Tula Giannini, Jonathan P. Bowen
Inbunden, 2019
1911 kr
Lägg i varukorg
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 that of their audiences, now fully immersed in digital life, from the Internet to home and work. In …
Museums and Digital Culture
New Perspectives and Research
Av Jonathan P. Bowen, Tula Giannini
E-bok, 2019
2384 kr
Lägg i varukorg
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 that of their audiences, now fully immersed in digital life, from the Internet to home and work. In …
