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 experts on Alan Turing to create a comprehensive guide to Turing that will serve as a useful resour...

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 production useBook DescriptionTalend...

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 to simulation testing, from the use of formal methods and contracts to model-ba...

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;-Introduction to Digital Twins-Theories of Contracts and Their Appli...

"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, and nine students of other disciplines are sent to the kingdom of Leo to prove their mettle and ...

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 he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China...

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 and virtuality are merging with these new developments. The proposed book is am...

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 distilled from six original courses delivered at the school on topics such as: rely/gua...

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 activity and communication, ubiquitous use of digital tools and technology is radically changin...

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: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification ...

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 modelling, design, and verification. The topics covered in these chapter include Software Ve...

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 been distilled from six courses and two seminars on topics such as: modelling and ver...