Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 13 resultados para “jonathan p bowen”
Skip side bar filters

  • Engineering Trustworthy Software Systems

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

    Edición de 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 ... Leer más

    $49.99 USD

  • The Arts and Computational Culture: Real and Virtual Worlds

    Edición de 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 ... Leer más

    $224.99 USD

  • Engineering Trustworthy Software Systems

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

    Edición de 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: ... Leer más

    $49.99 USD

  • Engineering Trustworthy Software Systems

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

    Edición de 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 ... Leer más

    $58.99 USD

  • Museums and Digital Culture

    New Perspectives and Research

    Edición de 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 ... Leer más

    $170.99 USD

  • Electronic Visualisation in Arts and Culture

    Edición de 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 ... Leer más

    $143.99 USD

  • Engineering Trustworthy Software Systems

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

    Edición de 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 ... Leer más

    $49.49 USD

  • Provably Correct Systems

    Edición de 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 ... Leer más

    $89.99 USD

  • Formal Methods: State of the Art and New Directions

    Edición de Paul Boca, Jonathan P. Bowen, Jawed Siddiqi ...
    Series series Computer Science (R0)

    $89.99 USD

  • Engineering Trustworthy Software Systems

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

    Edición de 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; ... Leer más

    $49.99 USD

  • Theories of Programming and Formal Methods

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

    Edición de Jonathan P. Bowen, Qin Li, Qiwen Xu ...
    Series Libro 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 ... Leer más

    $71.99 USD

  • Engineering Trustworthy Software Systems

    Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

    Edición de 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 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 of leading-edge research in methods and tools for use in computer system engineering. They have been ... Leer más

    $49.99 USD