Foundation Mathematics for Computer Science: A Visual Approach, Vince John

Автор: Nederpelt
Название: Type Theory and Formal Proof
ISBN: 110703650X ISBN-13(EAN): 9781107036505
Издательство: Cambridge Academ
Рейтинг:
Цена: 70740.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

Название: Computer Arithmetic Volume II
ISBN: 9814641464 ISBN-13(EAN): 9789814641463
Издательство: World Scientific Publishing
Рейтинг:
Цена: 163680.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the new edition of the classic book Computer Arithmetic in three volumes published originally in 1990 by IEEE Computer Society Press. As in the original, the book contains many classic papers treating advanced concepts in computer arithmetic, which is very suitable as stand-alone textbooks or complementary materials to textbooks on computer arithmetic for graduate students and research professionals interested in the field.Told in the words of the initial developers, this book conveys the excitement of the creators, and the implementations provide insight into the details necessary to realize real chips. This second volume presents topics on error tolerant arithmetic, digit on-line arithmetic, number systems, and now in this new edition, a topic on implementations of arithmetic operations, all wrapped with an updated overview and a new introduction for each chapter.This volume is part of a 3 volume set:Computer Arithmetic Volume IComputer Arithmetic Volume IIComputer Arithmetic Volume IIIThe full set is available for sale in a print-only version.

Автор: Wallace Rodrick
Название: An Information Approach to Mitochondrial Dysfunction: Extending Swerdlow`s Hypothesis
ISBN: 9814663506 ISBN-13(EAN): 9789814663502
Издательство: World Scientific Publishing
Рейтинг:
Цена: 61250.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The monograph applies sophisticated topological symmetry tools to biological applications of information theory, along with a Black-Scholes model invocation of the Data Rate Theorem which links information and control theories.

Автор: Deepak Kapur
Название: Computer Mathematics
ISBN: 3540878262 ISBN-13(EAN): 9783540878261
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. This book organizes the papers in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.

Автор: DEXTER J. BOOTH
Название: Foundation Discrete Mathematics for Computing
ISBN: 0412562804 ISBN-13(EAN): 9780412562808
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Wallace Rodrick
Название: Mathematical Approach to Multilevel, Multiscale Health Inter
ISBN: 1848169965 ISBN-13(EAN): 9781848169968
Издательство: World Scientific Publishing
Рейтинг:
Цена: 96090.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Based on published studies, this title takes a perspective on the 30-year collapse of pharmaceutical industry productivity in the search for small molecule "magic bullet" interventions. It adapts formalism across a number of disciplines to the strategy for design of mutilevel interventions, focusing, first, on molecular, and larger scale examples.

Автор: von zur Gathen
Название: Modern Computer Algebra
ISBN: 1107039037 ISBN-13(EAN): 9781107039032
Издательство: Cambridge Academ
Рейтинг:
Цена: 117210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designed to accompany one- or two-semester courses for advanced undergraduate or graduate students, this textbook is widely regarded as the `bible of computer algebra`. Its comprehensiveness and reliability also makes it an essential reference for professionals. This updated edition includes an overview of recent improvements in areas like primality testing.

Автор: Jacques Carette; Lucas Dixon; Claudio Sacerdoti Co
Название: Intelligent Computer Mathematics
ISBN: 3642026133 ISBN-13(EAN): 9783642026133
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 16th Symposium Calculemus 2009 8th International Conference MKM 2009 Grand Bend Canada July 612 200. .