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

Automated Mathematical Induction, Hantao Zhang


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

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

Автор: 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.


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.

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.

Fuzzy Mathematical Programming and Fuzzy Matrix Games

Автор: C. R. Bector; Suresh Chandra
Название: Fuzzy Mathematical Programming and Fuzzy Matrix Games
ISBN: 3642062652 ISBN-13(EAN): 9783642062650
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Game theory has already proved its tremendous potential for con?ict resolution problems in the ?elds of Decision Theory and Economics. The objective of this book is to present a systematic and focussed study of the application of fuzzy sets to two very basic areas of decision theory, namely Mathematical Programming and Matrix Game Theory.

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

Описание:

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.
Mathematical Aspects of Computer and Information Sciences

Автор: Ilias S. Kotsireas; Siegfried M. Rump; Chee K. Yap
Название: Mathematical Aspects of Computer and Information Sciences
ISBN: 3319328581 ISBN-13(EAN): 9783319328584
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Discusses the practical pathologic diagnoses of tumours and tumour-like diseases of the prostate gland, seminal vesicles, penis, and scrotum. The authors emphasise pathologic gross and light microscopic diagnostic features and differential diagnoses. They also discuss the clinical presentation and the clinical meaning of the pathologic diagnosis in terms of prognosis and treatment.

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: 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.

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 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.!.


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