Stephane Demri & Valentin Goranko 
Temporal Logics in Computer Science 
Finite-State Systems

Deep Learning: A Comprehensive Guide provides comprehensive coverage of Deep Learning (DL) and Machine Learning (ML) concepts. DL and ML are the most sought-after domains, requiring a deep understand …

The Reference Model of Open Distributed Processing (RM-ODP) is an international standard that provides a solid basis for describing and building widely distributed systems and applications in a …

Written by VM-certified instructors with years of professional and teaching experience, VMware Certified Professional Test Prep is the ultimate guide to the VCP exam. Its organized and highly practic …

In the rapidly evolving landscape of the digital age, two technologies stand out for their transformative potential: Artificial Intelligence (AI) and Blockchain. This book offers an incisive …

Build AI-Enhanced Audio Plugins with C++ explains how to embed artificial intelligence technology inside tools that can be used by audio and music professionals, through worked examples using Python, …

<p><b>Discover ways to enhance your application”s functionality through hands-on learning for designing, testing, securing, deploying, and maintaining production-ready …

The Human Machine Interaction in the Digital Era (ICHMIDE) 2023 conference aims to address the main issues of concern in the design issues with a particular emphasis on the design and development of …

Develop modern web UIs with Blazor Server and Blazor Web Assembly now introducing Streaming and Static Server-Side Rendering (SSR) and flexible hosting models in .NET 8Purchase of the print or Kindle …

The term ‘data’ being mostly used, experimented, analyzed, and researched, ‘ Data Science and its Applications ‘ finds relevance in all domains of research studies including science, engineering, tec …