Suchergebnisse für "Bernhard Steffen"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Bernhard Steffen" gefunden.
Katalogsuche
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28,2025, Proceedings, Lecture Notes in Computer Science 16040
Anne Remke/Bernhard Steffen
Springer Verlag GmbH
62,05 €
(inklusive MwSt.)
Lieferbar
Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3,2024, Selected Papers, Lecture Notes in Computer Science 16032
Bernhard Steffen
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
Computing and Software Science
State of the Art and Perspectives, Lecture Notes in Computer Science 10000 - Theoretical Computer Science and General Issues
Bernhard Steffen/Gerhard Woeginger
Springer Verlag GmbH
32,09 €
(inklusive MwSt.)
Lieferbar
Grundlagen der höheren Informatik
Induktives Vorgehen, eXamen.press
Steffen, Bernhard/Rüthing, Oliver/Isberner, Malte
Springer Vieweg
37,99 €
(inklusive MwSt.)
Lieferbar
Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia
Geology and Metallogeny of Pollucite Mineralisations, SpringerBriefs in World Mineral Deposits
Dittrich, Thomas/Seifert, Thomas/Schulz, Bernhard et al
Springer Verlag GmbH
24,60 €
(inklusive MwSt.)
Lieferbar
Mathematical Foundations of Advanced Informatics
Volume 1: Inductive Approaches
Steffen, Bernhard/Rüthing, Oliver/Huth, Michael
Springer Verlag GmbH
35,30 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11,2014, Proceedings, Part II, Lecture Notes in Computer Science 8803 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation.Technologies for Mastering Change
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11,2014, Proceedings, Part I, Lecture Notes in Computer Science 8802 - Theoretical Computer Science and General Issues
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Bridging the Gap Between AI and Reality
Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1-5,2025, Selected Papers, Lecture Notes in Computer Science 16220
Bernhard Steffen
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 11200 - Theoretical Computer Science and General Issues
Tiziana Margaria/Susanne Graf/Kim G Larsen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Lets Talk AI
Interdisciplinarity Is a Must, Lecture Notes in Computer Science 15000
Barbara Steffen/Edward A Lee/Bernhard Steffen
Springer Verlag GmbH
42,79 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30,2022, Proceedings, Part III, Lecture Notes in Computer Science 13703
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
74,89 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30,2022, Proceedings, Part IV, Lecture Notes in Computer Science 13704
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
69,54 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30,2022, Proceedings, Part I, Lecture Notes in Computer Science 13701
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
90,94 €
(inklusive MwSt.)
Lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30,2022, Proceedings, Part II, Lecture Notes in Computer Science 13702
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
74,89 €
(inklusive MwSt.)
Lieferbar
Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29,1996, Proceedings., Lecture Notes in Computer Science 1055
Tiziana Margaria/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Denkmal und Energie
PRAXIS
Weller, Bernhard/Jakubetz, Sven/Fahrion, Marc-Steffen
Springer Vieweg
42,99 €
(inklusive MwSt.)
Lieferbar
Correct System Design
Recent Insights and Advances, Lecture Notes in Computer Science 1710
Ernst-Rüdiger Olderog/Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Tools and Algorithms for the Construction and Analysis of Systems
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4,1998, Proceedings, Lecture Notes in Computer Science 1384
Bernhard Steffen
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Services and Visualization: Towards User-Friendly Design
ACos'98, VISUAL'98, AIN'97, Selected Papers, Lecture Notes in Computer Science 1385
Tiziana Margaria/Bernhard Steffen/Roland Rückert et al
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
