Bernhard Steffen – författare
Visar alla böcker från författaren Bernhard Steffen. Handla med fri frakt och snabb leverans.
57 produkter
57 produkter
Häftad, Engelska, 2020
620 kr
Skickas inom 5-8 vardagar
Inbunden, Engelska, 2020
689 kr
Skickas inom 5-8 vardagar
Inbunden, Tyska, 2025
345 kr
Skickas inom 5-8 vardagar
Häftad, Tyska, 2025
180 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2018
561 kr
Skickas inom 10-15 vardagar
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Häftad, Engelska, 2018
561 kr
Skickas inom 10-15 vardagar
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Häftad, Engelska, 2018
561 kr
Skickas inom 10-15 vardagar
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Häftad, Engelska, 2018
561 kr
Skickas inom 10-15 vardagar
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Häftad, Engelska, 2019
373 kr
Skickas inom 10-15 vardagar
A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions. This textbook is suitable for undergraduate and graduate courses in computer science and for self-study.
Del 11429 - Lecture Notes in Computer Science
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Häftad, Engelska, 2019
561 kr
Skickas inom 10-15 vardagar
This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.
949 kr
Skickas inom 10-15 vardagar
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
561 kr
Skickas inom 10-15 vardagar
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
561 kr
Skickas inom 10-15 vardagar
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
561 kr
Skickas inom 10-15 vardagar
The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
783 kr
Skickas inom 10-15 vardagar
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.
Del 13030 - Lecture Notes in Computer Science
Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Häftad, Engelska, 2021
727 kr
Skickas inom 10-15 vardagar
His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.
Häftad, Engelska, 2022
783 kr
Skickas inom 10-15 vardagar
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;
Häftad, Engelska, 2022
783 kr
Skickas inom 10-15 vardagar
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;
Häftad, Engelska, 2022
727 kr
Skickas inom 10-15 vardagar
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;
Häftad, Engelska, 2022
949 kr
Skickas inom 10-15 vardagar
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. formal methods for distributed computing in future railway systems;
Del 14380 - Lecture Notes in Computer Science
Bridging the Gap Between AI and Reality
First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings
Häftad, Engelska, 2023
783 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems;
Del 15219 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I
Häftad, Engelska, 2024
889 kr
Skickas inom 5-8 vardagar
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Del 14129 - Lecture Notes in Computer Science
Bridging the Gap Between AI and Reality
First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
Häftad, Engelska, 2024
1 447 kr
Skickas inom 10-15 vardagar
This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems;
Del 15230 - Lecture Notes in Computer Science
Real Time and Such
Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Häftad, Engelska, 2024
614 kr
Skickas inom 5-8 vardagar
This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems. Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala University.
Del 15240 - Lecture Notes in Computer Science
Combined Power of Research, Education, and Dissemination
Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Häftad, Engelska, 2024
838 kr
Skickas inom 10-15 vardagar
Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable functionalities in software and systems, with building blocks and MDD, and she strives for coherence and alignment in complex systems through verification, model checking and workflow synthesis. Her quest for simplicity spans technologies (low-code/no-code; ITSy project), business (Business Model Canvas; tools for innovative business models) and disciplines with her concept of the Digital Thread, a metaphor for IT-mediated interoperation of reusable and ideally verified tools and systems in new platforms where reuse, repurposing and evolution are supported by design. Her most recent initiative, R@ISE, aims at opening the world of IT production and adaptation to a wider range of users and professions. Tiziana is a cofounder and managing editor of the International Journal on Software Tools for Technology Transfer, she cofounded the ISoLA conference, and cofounded METAFrame Technologies serving as CEO. She is a Fellow of the Society for Design and Process Science and a Fellow and President of the Irish Computer Society.Throughout her career Tiziana’s successes have been motivated by how best to advance science and engineering through the implementation of techniques in challenging applications, and the contributions in this volume by leading researchers are representative of a community that shares this drive.
Del 15220 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II
Häftad, Engelska, 2024
838 kr
Skickas inom 10-15 vardagar
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Del 15221 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
Häftad, Engelska, 2024
893 kr
Skickas inom 10-15 vardagar
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Del 15222 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV
Häftad, Engelska, 2024
735 kr
Skickas inom 5-8 vardagar
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Del 15223 - Lecture Notes in Computer Science
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
Häftad, Engelska, 2024
558 kr
Skickas inom 5-8 vardagar
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Del 15217 - Lecture Notes in Computer Science
Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings
Häftad, Engelska, 2024
783 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; approaches of using formal methods and ai in health care;