Електронна книга > Наука > Информатика > Farn Wang: Automated Technology for Verification and Analysis (PDF)

Farn Wang
Automated Technology for Verification and Analysis [PDF ebook]
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 — November 3, 2004. Proceedings

поддержка

Обложка Farn Wang: Automated Technology for Verification and Analysis (PDF)

€115.25

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат PDF ● ISBN 9783540304760 ● редактор Farn Wang ● издатель Springer Berlin Heidelberg ● опубликованный 2004 ● Загружаемые 3 раз ● валюта EUR ● Код товара 6375824 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

75 745 Электронные книги в этой категории

Обложка El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide - An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide — An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner»s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …

Обложка El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide - An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru

El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide — An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru

Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner»s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …

Обложка Pinaki Banerjee & Siddhartha Bhattacharyya: Handbook of Research on Advanced Hybrid Intelligent Techniques and Applications

Pinaki Banerjee & Siddhartha Bhattacharyya: Handbook of Research on Advanced Hybrid Intelligent Techniques and Applications

Обложка Stepan Bilan: Formation Methods, Models, and Hardware Implementation of Pseudorandom Number Generators: Emerging Research and Opportunities

Stepan Bilan: Formation Methods, Models, and Hardware Implementation of Pseudorandom Number Generators: Emerging Research and Opportunities

Обложка Mohamed Boucadair & Christian Jacquenet: Handbook of Research on Redesigning the Future of Internet Architectures

Mohamed Boucadair & Christian Jacquenet: Handbook of Research on Redesigning the Future of Internet Architectures

Обложка John L. (CTO, Ceranovo, Inc. Pleasanton, California, USA) Gustafson: The End of Error

John L. (CTO, Ceranovo, Inc. Pleasanton, California, USA) Gustafson: The End of Error

The Future of Numerical Computing Written by one of the foremost experts in high-performance computing and the inventor of Gustafson’s Law, The End of Error: Unum Computing explains a new approach to …

Обложка Rohit Ranjan: Microservices for Machine Learning

Rohit Ranjan: Microservices for Machine Learning

Explore the link between microservices and ML in Microservices for Machine Learning. Through this book, you will learn to build scalable systems by understanding modular software construction princip …

Обложка Cyrille Debacq: Vos premiers pas avec SAP ABAP

Cyrille Debacq: Vos premiers pas avec SAP ABAP

Plongez dans l’ABAP grace a ce livre qui vous guidera pas a pas, de la description des composantes du langage SAP ABAP a l’etape de la programmation. Vous verrez en detail les divers elements constit …

Обложка Kandarpa Kumar Sarma & Manash Pratim Sarma: Intelligent Applications for Heterogeneous System Modeling and Design

Kandarpa Kumar Sarma & Manash Pratim Sarma: Intelligent Applications for Heterogeneous System Modeling and Design

Обложка Tolga Soyata: Enabling Real-Time Mobile Cloud Computing through Emerging Technologies

Tolga Soyata: Enabling Real-Time Mobile Cloud Computing through Emerging Technologies

Следущая страница >>>