Stephane Demri & Valentin Goranko: Temporal Logics in Computer Science (ePUB) < برنامج التطبيق < علوم الكمبيوتر < علوم < آخر الأخبار

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

الدعم

غلاف Stephane Demri & Valentin Goranko: Temporal Logics in Computer Science (ePUB)

€133.28

لغة الإنجليزية ● شكل EPUB ● ISBN 9781316727164 ● الناشر Cambridge University Press ● نشرت 2016 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 5691236 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

Stephane Demri Valentin Goranko Martin Lange

16٬089 كتب إلكترونية في هذه الفئة

غلاف Amanda Baker & Hayley Horn: Databricks ML in Action

Amanda Baker & Hayley Horn: Databricks ML in Action

Get to grips with autogenerating code, deploying ML algorithms, and leveraging various ML lifecycle features on the Databricks Platform, guided by best practices and reusable code for you to try, …

غلاف John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

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 …

غلاف Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++

Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++

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

غلاف Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

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 …

غلاف Brian J. Keller: Practical Guide To X Window Programming

Brian J. Keller: Practical Guide To X Window Programming

A Practical Guide to X Window Programming is a basic guide that takes readers step by step through developing applications using X-Windows. The book covers the Xt Intrinsics portion of the X-Window …

غلاف Sourabh Sharma: Modern API Development with Spring 6 and Spring Boot 3

Sourabh Sharma: Modern API Development with Spring 6 and Spring Boot 3

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

غلاف Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

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 …

غلاف Jimmy Engstrom: Web Development with Blazor

Jimmy Engstrom: Web Development with Blazor

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 …

غلاف Ralph Morelli & Allen Tucker: Software Development

Ralph Morelli & Allen Tucker: Software Development

To understand the principles and practice of software development, there is no better motivator than participating in a software project with real-world value and a life beyond the academic arena. …