Katalog der Deutschen Nationalbibliothek

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

Let’s Talk AI : Interdisciplinarity Is a Must

An approach for extended swarm formation flight with drones: PROTEASE 2.0

Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

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

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

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

The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)

Towards rigorous understanding of neural networks via semantics-preserving transformations

Forest GUMP: a tool for verification and explanation

The power of typed affine decision structures: a case study

The RERS challenge: towards controllable and scalable benchmark synthesis

Towards language-to-language transformation

TOOLympics II: competitions on formal methods : A Special Issue for TOOLympics 2019

Interactive Model-Based Compilation : A Modeller-Driven Development Approach

Synthesizing realistic verification tasks

Characteristic invariants in Hennessy–Milner logic

Advances in session-based and session-aware recommendation

Bio-jETI : a service integration, design, and provisioning platform for orchestrated bioinformatics processes

Evolution support in heterogeneous service-oriented landscapes

Flux-P : automating metabolic flux analysis

GeneFisher-P : variations of GeneFisher as processes in Bio-jETI

Semantics-based composition of EMBOSS services

Dissolved organic matter characteristics of deciduous and coniferous forests with variable management: different at the source, aligned in the soil

Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik

Computing and Software Science : State of the Art and Perspectives

Generation of domain-specific language-to-language transformation languages

Meta-model based generation of domain-specific modeling tools

Dissolved organic matter characteristics of deciduous and coniferous forests with variable management: different at the source, aligned in the soil

Computing and Software Science : State of the Art and Perspectives

Mathematical Foundations of Advanced Informatics : Vol. 1: Inductive Approaches

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches

High-level frameworks for the specification and verification of scheduling problems

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

The physics of software tools: SWOT analysis and vision

Foundations for Mastering Change I

Heavy meta : Model-driven domain-specific generation of generative domain-specific modeling tools

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Scientific workflows with the jABC framework : A review after a decade in the field

Active learning for extended finite state machines

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissimination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Transactions on Foundations for Mastering Change I

Foundations of active automata learning: an algorithmic perspective

Grundlagen der höheren Informatik : Induktives Vorgehen

Grundlagen der höheren Informatik

Bd. 1. Induktives Vorgehen

Higher order process engineering

Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter Modelle

Leveraging applications of formal methods, verification and validation : 6th international symposium ; proceedings

Pt. 1. Technologies for mastering change

Leveraging applications of formal methods, verification and validation : 6th international symposium ; proceedings

Pt. 2. Specialized techniques and applications

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

Service-Integration in Geschäftsprozessmanagementsystemen mit besonderem Fokus auf die Integration von ERP-Systemen unter Berücksichtigung des aktuellen Trends hin zum Cloud-Computing

Learning register automata: from languages to program structures