Catalog > Ciência > Ciência da Computação > Ciência da Computação > Rajeev Alur & Doron A. Peled: Computer Aided Verification (PDF)

Rajeev Alur & Doron A. Peled
Computer Aided Verification [PDF ebook]
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Apoio

Capa do Rajeev Alur & Doron A. Peled: Computer Aided Verification (PDF)

€115.25

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● ISBN 9783540278139 ● Editor Rajeev Alur & Doron A. Peled ● Editora Springer Berlin Heidelberg ● Publicado 2004 ● Carregável 3 vezes ● Moeda EUR ● ID 5780033 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Rajeev Alur Doron A. Peled

16.570 Ebooks nesta categoria

Capa do Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Capa do Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

Capa do Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Python GUI with Py Qt is an invaluable guide for both novice and experienced programmers who want to master the art of creating visually appealing and interactive graphical user interfaces (GUIs) for …

Capa do Sanket Subhash Khandare: Mastering Large Language Models

Sanket Subhash Khandare: Mastering Large Language Models

Transform your business landscape with the formidable prowess of large language models (LLMs). The book provides you with practical insights, guiding you through conceiving, designing, and implementi …

Capa do Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

Capa do M.A. Jabbar & MVV Prasad Kantipudi: Machine Learning Methods for Signal, Image and Speech Processing

M.A. Jabbar & MVV Prasad Kantipudi: Machine Learning Methods for Signal, Image and Speech Processing

The signal processing (SP) landscape has been enriched by recent advances in artificial intelligence (AI) and machine learning (ML), yielding new tools for signal estimation, classification, predicti …

Capa do Dr. Harsh Bhasin: Machine Learning for Beginners - 2nd Edition

Dr. Harsh Bhasin: Machine Learning for Beginners – 2nd Edition

The second edition of "Machine Learning for Beginners" addresses key concepts and subjects in machine learning. The book begins with an introduction to the foundational principles of machin …

Capa do Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …

Capa do Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

Yigit Kazancoglu & Shristi Kharola: Advances in Soft Computing Applications

The proclivity of today’s technology to think like humans may be seen in new developing disciplines such as neural computing, fuzzy logic, evolutionary computation, machine learning, and probabilisti …

Capa do Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

Dr. Surabhi Shanker: Building Dynamic Web Experiences with PHP

This book covers a wide range of topics starting with the introduction of web applications, including client-side and server-side scripting, different categories of web applications, and the installa …

Próxima página >>>