Manfred Kerber & Michael Kohlhase 
Symbolic Computation and Automated Reasoning [PDF ebook] 
The CALCULEMUS-2000 Symposium

поддержка
Обложка Manfred Kerber & Michael Kohlhase: Symbolic Computation and Automated Reasoning (PDF)

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved.

€64.44
Способы оплаты
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат PDF ● страницы 288 ● ISBN 9781439864234 ● редактор Manfred Kerber & Michael Kohlhase ● издатель CRC Press ● опубликованный 2001 ● Загружаемые 3 раз ● валюта EUR ● Код товара 7353343 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM

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

Manfred KerberMichael Kohlhase

74 702 Электронные книги в этой категории

Обложка Robert Rybaric: Microsoft Power Platform Up and Running
Robert Rybaric: Microsoft Power Platform Up and Running
The author of ‘Microsoft Power Platform Up and Running’ is an experienced subject expert on technology, so the book is engaging, well-illustrated, and aims to make it easier to implement the technolo …
EPUB
Adobe DRM
€25.32
Обложка Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5
Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5
Computer Science Textbook Designed for Joyful Learning KEY FEATURES — National Education Policy 2020 — Find on Google: This section asks a quick question from the present world. — Pure Fact: This pre …
EPUB
Adobe DRM
€20.48
Обложка 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 …
EPUB
Adobe DRM
€6.55
Обложка Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 4
Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 4
Computer Science Textbook with New Pedagogical Approaches KEY FEATURES — National Education Policy 2020 — Tech Funda: This section provides a practical information or tip to the students. — Clickiped …
EPUB
Adobe DRM
€20.63
Обложка Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide
Kim van Lavieren: ISC2 Certified Cloud Security Professional (CCSP) Exam Guide
Cloud security is a rapidly evolving field, demanding professionals with specialized knowledge and expertise. This book equips you with the foundational understanding and practical skills necessary t …
EPUB
Adobe DRM
€25.49
Обложка Ajit Singh: 5 G Technologies
Ajit Singh: 5 G Technologies
EPUB
Adobe DRM
€4.50
Обложка Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 6
Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 6
Computer Science Textbook Designed for Joyful Learning KEY FEATURES — National Education Policy 2020 — QR Code: Scan the QR Code given on each chapter to start chapter animation. — Fun Fact!: This pr …
EPUB
Adobe DRM
€20.61
Обложка Team Orange: Touchpad Modular Ver. 1.1 Class 4
Team Orange: Touchpad Modular Ver. 1.1 Class 4
Computer Science Textbook Designed for Joyful Learning KEY FEATURES — National Education Policy 2020 — Tech Funda: This section provides a practical information or tip to the students. — Clickipedia: …
EPUB
Adobe DRM
€20.55
Обложка Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4
Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4
Computer Science Textbook Designed for Joyful Learning KEY FEATURES — National Education Policy 2020 — Find on Google: This section asks a quick question from the present world. — Pure Fact: This pre …
EPUB
Adobe DRM
€20.58
Обложка K. Chandrasekaran: Essentials of Cloud Computing
K. Chandrasekaran: Essentials of Cloud Computing
Cloud computing-accessing computing resources over the Internet-is rapidly changing the landscape of information technology. Its primary benefits compared to on-premise computing models are reduced c …
EPUB
Adobe DRM
€167.57
Следущая страница >>>