Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Automated Mathematical Induction, Hantao Zhang


Варианты приобретения
Цена: 130430.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 164 шт.  
При оформлении заказа до: 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.

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
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Advances Towards Sustainable Environmental Systems

Автор: James N. Furze; Anil K. Gupta; Darren M. Reynolds;
Название: Mathematical Advances Towards Sustainable Environmental Systems
ISBN: 3319439006 ISBN-13(EAN): 9783319439006
Издательство: Springer
Рейтинг:
Цена: 107130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This edited volume focuses on how we can protect our environment and enhance environmental sustainability when faced with changes and pressures imposed by our expansive needs. The volume unites multiple subject areas within sustainability, enabling the techniques and philosophy in the chapters to be applied to research areas in environmental science, plant sciences, energy, biodiversity and conservation. The chapters from expert contributors cover topics such as mathematical modelling tools used to monitor diversity of plant species, and the stability of ecosystem services such as biogeochemical cycling. Empirical research presented here also brings together mathematical developments in the important fields of robotics including kinematics, dynamics, path planning, control, vision, and swarmanoids. Through this book readers will also discover about rainfall-runoff modelling which will give them a better idea of the effects of climate change on the sustainability of water resources at the watershed scale. Modelling approaches will also be examined that maximize readers insights into the global problem of energy transition, i.e. the switch to an energy production system using renewable resources only. Collective and discrete insights are made to assist with synergy which should progress well beyond this book. Insight is also given to assist policy formations, development and implementations. The book has a strong multi-disciplinary nature at its core, and will appeal to both generalist readers and specialists in information technology, mathematics, biology, physics, chemistry and environmental sciences.

Meta-Learning in Decision Tree Induction

Автор: Krzysztof Gr?bczewski
Название: Meta-Learning in Decision Tree Induction
ISBN: 3319009591 ISBN-13(EAN): 9783319009599
Издательство: Springer
Рейтинг:
Цена: 148020.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Problems in Image Processing

Автор: Aubert
Название: Mathematical Problems in Image Processing
ISBN: 0387322000 ISBN-13(EAN): 9780387322001
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 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
Рейтинг:
Цена: 167700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.!.

Automated Mathematical Induction

Автор: Hantao Zhang
Название: Automated Mathematical Induction
ISBN: 9401072507 ISBN-13(EAN): 9789401072502
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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: 331937723X ISBN-13(EAN): 9783319377230
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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
Рейтинг:
Цена: 222670.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Methods in Program Development

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

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
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

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
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Using the behavioural approach to mathematical modelling, this book views a system as a dynamical relation between manifest and latent variables.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия