Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Automated Mathematical Induction, Hantao Zhang


Варианты приобретения
Цена: 19564.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Hantao Zhang
Название:  Automated Mathematical Induction
ISBN: 9780792340102
Издательство: Springer
Классификация:
ISBN-10: 0792340108
Обложка/Формат: Hardcover
Страницы: 222
Вес: 0.51 кг.
Дата издания: 31.05.1996
Язык: English
Размер: 234 x 156 x 14
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof.


Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques

Автор: Evangelos Triantaphyllou; Giovanni Felici
Название: Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques
ISBN: 1441941738 ISBN-13(EAN): 9781441941732
Издательство: Springer
Рейтинг:
Цена: 33401.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book outlines the core theory and practice of data mining and knowledge discovery (DM & KD) examining theoretical foundations for various methods, and presenting an array of examples, many drawn from real-life applications.

Mathematical Problems in Image Processing

Автор: Aubert
Название: Mathematical Problems in Image Processing
ISBN: 0387322000 ISBN-13(EAN): 9780387322001
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The updated 2nd edition of this book presents a variety of image analysis applications, reviews their precise mathematics and shows how to discretize them. For the mathematical community, the book shows the contribution of mathematics to this domain, and highlights unsolved theoretical questions.

Mathematical Modelling and Simulation of Electrical Circuits and Semiconductor Devices

Автор: Randolph Bank; R. Bulirsch; H. Gajewski; K. Merten
Название: Mathematical Modelling and Simulation of Electrical Circuits and Semiconductor Devices
ISBN: 3034896654 ISBN-13(EAN): 9783034896658
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Progress in today`s high-technology industries is strongly associated with the development of new mathematical tools. Their contributions, forming the body of this work, cover electric circuit simulation, device simulation and process simulation.

Mathematical Models for Decision Support

Автор: Harvey J. Greenberg; Gautam Mitra; Freerk A. Loots
Название: Mathematical Models for Decision Support
ISBN: 3642835570 ISBN-13(EAN): 9783642835575
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Mathematical Models for Decision Support held in Val d`Isere France, July 26 - August 6, 1987

Automated Mathematical Induction

Автор: Hantao Zhang
Название: Automated Mathematical Induction
ISBN: 9401072507 ISBN-13(EAN): 9789401072502
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof.

Meta-Learning in Decision Tree Induction

Автор: Krzysztof Gr?bczewski
Название: Meta-Learning in Decision Tree Induction
ISBN: 3319009591 ISBN-13(EAN): 9783319009599
Издательство: Springer
Рейтинг:
Цена: 22203.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book discusses decision tree induction, reviewing techniques used in decision tree learning, and ensemble methods that involve decision trees. The second half reviews meta-learning approaches, including many that provide a ranking of algorithms.

Meta-Learning in Decision Tree Induction

Автор: Krzysztof Gr?bczewski
Название: Meta-Learning in Decision Tree Induction
ISBN: 331937723X ISBN-13(EAN): 9783319377230
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book discusses decision tree induction, reviewing techniques used in decision tree learning, and ensemble methods that involve decision trees. The second half reviews meta-learning approaches, including many that provide a ranking of algorithms.

Mathematical Methods in Program Development

Автор: Manfred Broy; Birgit Schieder
Название: Mathematical Methods in Program Development
ISBN: 3642645887 ISBN-13(EAN): 9783642645884
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996

Quantitative Mathematical Models in Radiation Biology

Автор: J?rgen Kiefer
Название: Quantitative Mathematical Models in Radiation Biology
ISBN: 3540504532 ISBN-13(EAN): 9783540504535
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It is hoped that a generally acceptable formalism will help to quantify radiation responses, both in radiation protection and radiation therapy, and make it possible to move from a purely empirical approach with all its fallacies to real understanding.

Mathematical Models in Natural Science and Engineering

Автор: Victor Gloumov; Juri I. Neimark; Mark M. Kogan
Название: Mathematical Models in Natural Science and Engineering
ISBN: 3642536824 ISBN-13(EAN): 9783642536823
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book has come into being as a result ofthe author`s lectures on mathematical modelling rendered to the students, BS and MS degree holders specializing in applied mathematics and computer science and to post-graduate students in exact sciences of the Nizhny Novgorod State University after N.!.

Applied Computational Intelligence and Mathematical Methods

Автор: Radek Silhavy; Petr Silhavy; Zdenka Prokopova
Название: Applied Computational Intelligence and Mathematical Methods
ISBN: 3319676202 ISBN-13(EAN): 9783319676203
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Presents applied Computational Intelligence and Mathematical Methods

Written by experts in the field

Dedicated to Applications of Computational Intelligence

Introduction to Mathematical Systems Theory

Автор: J.C. Willems; J.W. Polderman
Название: Introduction to Mathematical Systems Theory
ISBN: 1475729553 ISBN-13(EAN): 9781475729559
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Using the behavioural approach to mathematical modelling, this book views a system as a dynamical relation between manifest and latent variables.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия