Skip to main content

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...
  • Getting Started with Talend Open Studio for Data Integration

    This is the complete course for anybody who wants to get to grips with Talend Open Studio for Data Integration. From the basics of transferring data to complex integration processes, it will give you a head start.

    This is the complete course for anybody who wants to get to grips with Talend Open Studio for Data Integration. From the basics of transferring data to complex integration processes, it will give you a head start.Key FeaturesDevelop complex integration jobs without writing codeGo beyond "extract, transform and load"ù by constructing end-to-end integrationsLearn how to package your jobs for ... Read more

    $28.99 USD or Free with Kobo Plus

  • The Turing Guide

    Alan Turing has long proved a subject of fascination, but following the centenary of his birth in 2012, the code-breaker, computer pioneer, mathematician (and much more) has become even more celebrated with much media coverage, and several meetings, conferences and books raising public awareness of Turing's life and work. This volume will bring together contributions from some of the leading ... Read more

    $24.99 USD

  • Rimdale

    "Bellug, spectral knight.""Leander, wizard.""Alyse, battlemage.""Ninet, thief.""Krys, sorcerer.""Cort, conjurer.""Lira, assassin.""Rancar, mechanist.""Beladon, bowmaster.""Shadow, mystic warrior."Of the physical and magical disciplines that defended a kingdom, mystic warriors were rare and sometimes chosen by the nature goddess to be catalysts of destiny. Shadow, a newly trained mystic warrior, ... Read more

    $9.99 USD

  • Engineering Trustworthy Software Systems

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

    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.99 USD

  • The Arts and Computational Culture: Real and Virtual Worlds

    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.99 USD

  • Engineering Trustworthy Software Systems

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

    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.99 USD

  • Provably Correct Systems

    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.99 USD

  • Theories of Programming and Formal Methods

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

    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

  • Engineering Trustworthy Software Systems

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

    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.99 USD

  • Unifying Theories of Programming

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

    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.99 USD

  • Engineering Trustworthy Software Systems

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

    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.99 USD

  • Engineering Trustworthy Software Systems

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

    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.99 USD