Výsledky vyhledávání - "COMPUTER programming software"

Behavioural Types: From Theory to Tools Autor 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…”
Získat plný text

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers Autor 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,…”
Získat plný 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…”
Získat plný text

Recent Advances in Monte Carlo Methods

“…Monte Carlo methods, or Monte Carlo experiments, are a broad class of computational algorithms that rely on repeated random sampling to obtain numerical…”
Získat plný 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…”
Získat plný 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…”
Získat plný text

Search Algorithm: Essence of Optimization

“…Algorithms, particularly those embedded in search engines, social media platforms, recommendation systems, and information databases, play an increasingly…”
Získat plný text

Industrielle Datenanalyse: Entwicklung einer Datenanalyse-Plattform für die wertschaffende, kompetenzorientierte Kollaboration in dynamischen Wertschöpfungsnetzwerken Autor Deuse, Jochen, Klinkenberg, Ralf, West, Nikolai

“…Dieses Open Buch schlägt eine Brücke zwischen Theorie und Praxis für das produzierende Gewerbe im Zeitalter der Digitalisierung, der Industrie 4.0 und der…”
Získat plný 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…”
Získat plný 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,…”
Získat plný text

Schreibe Dein Programm: Einführung in die Programmierung Autor Sperber, Michael, Klaeren, Herbert

Získat plný text

Practical Test Design: Selection of traditional and automated test design techniques Autor 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…”
Získat plný text

Pro TBB : C++ parallel programming with threading building blocks Autor Voss, Michael, Asenjo, Rafael, Reinders, James

“…This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this…”
Získat plný text

Computer-Driven Instructional Design with INTUITEL Autor 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…”
Získat plný text

Classification and Data Science in the Digital Age Autor 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…”
Získat plný 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…”
Získat plný 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…”
Získat plný 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…”
Získat plný text

Foundations of Probabilistic Programming Autor 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…”
Získat plný text

Metareference in Videogames Autor Krampe, Theresa

“…Taking an original, in-depth approach, this book investigates the forms and functions of metareference in videogames. Drawing on a rich body of research in…”
Získat plný text