Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 13 results for “jonathan p bowen”
Skip side bar filters

  • Engineering Trustworthy Software Systems

    7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures

    Edited by Jonathan P. Bowen, Andrea Turrini ...
    Series series Springer Nature Proceedings Computer Science
    This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17–23, 2025.The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety oftechniques to achieve this goal, from model checking ... Read more

    $49.49 USD

  • The Arts and Computational Culture: Real and Virtual Worlds

    Edited by Tula Giannini, Jonathan P. Bowen ...
    Series series Computer Science (R0)
    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 the Metaverse, with extended reality (XR) and immersive virtual worlds. For the first time, reality ... Read more

    $224.09 USD

  • Engineering Trustworthy Software Systems

    5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

    Edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...
    Series series Springer Nature Proceedings Computer Science
    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. The topics covered in these chapter include Seamless Model-based System Development: ... Read more

    $49.49 USD

  • Engineering Trustworthy Software Systems

    4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

    Edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...
    Series series Springer Nature Proceedings Computer Science
    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 volume provide an overview of research in the frontier of theories, methods, and tools for software ... Read more

    $58.49 USD

  • Museums and Digital Culture

    New Perspectives and Research

    Edited by Tula Giannini, Jonathan P. Bowen ...
    Series series Springer Series on Cultural Computing
    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 a world where life in code and digits has redefined human information behavior and dominates daily ... Read more

    $170.09 USD

  • Engineering Trustworthy Software Systems

    Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

    Edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...
    Series series Springer Nature Proceedings Computer Science
    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 overview of leading-edge research in methods and tools for use in computer system engineering. They have ... Read more

    $49.49 USD

  • Provably Correct Systems

    Edited by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog ...
    Series series Computer Science (R0)
    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 a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research ... Read more

    $89.09 USD

  • Electronic Visualisation in Arts and Culture

    Edited by Jonathan P. Bowen, Suzanne Keene, Kia Ng ...
    Series series Computer Science (R0)
    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 InterfacesVisualising HeritageElectronic Visualisation in Arts and Culture explores a variety of new theory and ... Read more

    $143.09 USD

  • Formal Methods: State of the Art and New Directions

    Edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi ...
    Series series Computer Science (R0)

    $89.09 USD

  • Engineering Trustworthy Software Systems

    6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures

    Edited by Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu ...
    Series series Springer Nature Proceedings Computer Science
    This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming; ... Read more

    $49.49 USD

  • Theories of Programming and Formal Methods

    Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

    Edited by Jonathan P. Bowen, Qin Li, Qiwen Xu ...
    Series Book 14080 - Lecture Notes in Computer Science
    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 on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently ... Read more

    $71.99 USD

  • Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Edited by Jonathan P. Bowen, Huibiao Zhu ...
    Series series Springer Nature Proceedings Computer Science
    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 the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Read more

    $49.49 USD