Електронна книга > Наука > Інформатика > Прикладне програмне забезпечення > Jaco van der Pol & Michael Weber: Model Checking Software (PDF)

Jaco van der Pol & Michael Weber
Model Checking Software
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Підтримка

Обкладинка Jaco van der Pol & Michael Weber: Model Checking Software (PDF)

€56.47

Мова Англійська ● Формат PDF ● ISBN 9783642161643 ● Редактор Jaco van der Pol & Michael Weber ● Видавець Springer Berlin Heidelberg ● Опубліковано 2010 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6377802 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Jaco van der Pol Michael Weber

16 112 Електронні книги в цій категорі

Обкладинка Amanda Baker & Hayley Horn: Databricks ML in Action

Amanda Baker & Hayley Horn: Databricks ML in Action

<p><b>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 …

Обкладинка Preston Zhang: Practical Guide to Large Database Migration

Preston Zhang: Practical Guide to Large Database Migration

It is a major challenge to migrate very large databases from one system, say for example, to transfer critical data from Oracle to SQL Server. One has to consider several issues such as loss of data …

Обкладинка 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 …

Обкладинка Amit Kumar Tyagi: Data Science and Data Analytics

Amit Kumar Tyagi: Data Science and Data Analytics

Data science is a multi-disciplinary field that uses scientific methods, processes, algorithms, and systems to extract knowledge and insights from structured (labeled) and unstructured (unlabeled) da …

Обкладинка 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 …

Обкладинка Aakanksha (NIT Raipur) Sharaff & G R (International Institute of Information Technology Bangalore, India) Sinha: Data Science and Its Applications

Aakanksha (NIT Raipur) Sharaff & G R (International Institute of Information Technology Bangalore, India) Sinha: Data Science and Its Applications

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 …

Обкладинка 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 …

Обкладинка John Asatryan & Vardan Grigoryan: Expert C++

John Asatryan & Vardan Grigoryan: Expert C++

<p><b>Take your C++ skills to the next level with expert insights on advanced techniques, design patterns, and high-performance programming Purchase of the print or Kindle book includes a …

Наступна сторінка >>>