Search Results - "Computer programming software"

Learn ARCore - fundamentals of Google ARCore: learn to build augmented reality apps for Android, Unity, and the web with Google ARCore 1.0 by Lanham, Micheal

“…Are you a mobile developer or web developer who wants to create immersive and cool Augmented Reality apps with the latest Google ARCore platform? If so, this…”
Get full text

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

Kotlin Standard Library Cookbook: Master the Powerful Kotlin Standard Library Through Practical Code Examples by Urbanowicz, Samuel

“…This book explores the valuable standard libraries, showing you how to use them to write succinct code. Filled with short and easy-to -follow solutions, you'll…”
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

Learn ECMAScript: Discover the Latest ECMAScript Features in Order to Write Cleaner Code and Learn the Fundamentals of JavaScript by MOHAN, Mehul, Prusty, Narayan

“…Learn ECMAScript explores implementation of the latest ECMAScript features to add to your developer toolbox, helping you to progress to an advanced level…”
Get full text

Django RESTful web services: the easiest way to build Python RESTful APIs and web services with Django by Hillar, Gastón C

“…Django is a Python web framework that makes the web development process very easy. It reduces the amount of trivial code, which simplifies the creation of web…”
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

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

Smart IoT for Sustainable Development by Subhedar, Mansi, Mahalle, Parikshit, Pawar, Pranav

“…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

Learn Kubernetes Security: Securely orchestrate, scale, and manage your microservices in Kubernetes deployments by Huang, Kaizhe, Jumde, Pranjal

“…Secure your container environment against cyberattacks and deliver robust deployments with this practical guide Key Features * Explore a variety of Kubernetes…”
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 by Weidenbach, Christoph

“…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

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