Search Results - "Computer programming software"

Behavioural Types: From Theory to Tools by Gay, Simon, Ravara, António

“…Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type…”
Get full text

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

“…This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023,…”
Get full text

Level Up! Exploring Gamification's Impact on Research and Innovation

“…Level Up! Exploring Gamification's Impact on Research and Innovation explores the transformative power of gamification in various fields. This edited book…”
Get full text

Mastering Time: Innovative Solutions to Complex Scheduling Problems

“…Time is one of our most valuable resources, yet managing it effectively is often one of the toughest challenges. Mastering Time - Innovative Solutions to…”
Get full text

Behavioural Types : From Theory to Tools

“…Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type…”
Get full text

Detecting Unrealizable Bit Vector Program Synthesis Problems by Kamp, Marius

“…Program synthesis is the automatic construction of a computer program that adheres to a given formal specification. Contrary to traditional approaches to…”
Get full text

Search Algorithm: Essence of Optimization

“…Algorithms, particularly those embedded in search engines, social media platforms, recommendation systems, and information databases, play an increasingly…”
Get full text

Practical Test Design: Selection of traditional and automated test design techniques by Forgacs, Istvan, Kovacs, Attila

“…Reliable test design is important in software testing; without it, defects in software may remain undetected. This book presents the key test design…”
Get full text

Computer-Driven Instructional Design with INTUITEL by Fuchs, Kevin, Henning, Peter A

“…INTUITEL is a research project that was co-financed by the European Commission with the aim to advance state-of-the-art e-learning systems via addition of…”
Get full text

Smart IoT for Sustainable Development

“…This book explores the role of the Internet of Things (IoT) in achieving sustainable development goals (SDGs). It provides a comprehensive overview of how IoT…”
Get full text

Classification and Data Science in the Digital Age by Brito, Paula, Dias, José G, Lausen, Berthold, Montanari, Angela, Nugent, Rebecca

“…The contributions gathered in this open access book focus on modern methods for data science and classification and present a series of real-world…”
Get full text

Foundations of Probabilistic Programming by Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra

“…What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary…”
Get full text

Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings

“…This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods,…”
Get full text

Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings

“…This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in…”
Get full text

Applied Data Science and Smart Systems

“…The Second International Conference on Applied Data Science and Smart Systems (ADSSS-2023) was held on 15-16 December 2023 at Chitkara University, Punjab,…”
Get full text

Introduction to Ethical Software Development by Gogoll, Jan, Zuber, Niina

“…This open access book bridges the gap between ethical theory and software practice. It introduces foundational concepts in digital ethics, highlights the…”
Get full text

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

“…This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA…”
Get full text

Let’s Talk AI: Interdisciplinarity Is a Must

“…This unique open access volume represents an interdisciplinary dialog with top-class researchers and practitioners on the Artificial Intelligence revolution…”
Get full text

Agile Processes in Software Engineering and Extreme Programming – Workshops: XP 2025 Workshops, Brugg-Windisch, Switzerland, June 2–5, 2025, Revised Selected Papers

“…This open access book constitutes revised selected papers from the workshops and the poster track held at the 26th International Conference on Agile Software…”
Get full text

Metamodeling for Extended Reality by Muff, Fabian

“…This open access book which is based on the author’s dissertation in 2024 explores the challenges of metamodeling in the context of extended reality and…”
Get full text