Free Delivery Over $100
3259 books were found.
Read More >>
This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places... Read More >>
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. De Bruijn's contributions... Read More >>
Multiresolution methods in geometric modelling are concerned with the generation, representation, and manipulation... Read More >>
The book consists of an introductory chapter, two chapters on the major mat- matical results on medial representations,... Read More >>
Often, the data represents 3D or even time-varying 3D phenomena (such as medical data), and the access to different... Read More >>
This book provides researchers an inspirational look at how to process and visualize complicated 2D and 3D images... Read More >>
"In the mid-1960's I had the pleasure of attending a talk by Lotfi Zadeh at which he presented some of his basic... Read More >>
In the course of fuzzy technological development, fuzzy graph theory was identified quite early on for its importance... Read More >>
This volume represents the state of the art for much current research in many-valued logics. Areas covered include:... Read More >>
Teaches key paradigmic algorithm design methods. This book provides an insight into randomization. Read More >>
The book addresses mathematicians and computer scientists interested in symbolic computation, developers and programmers... Read More >>
While the core of the subject remains algebraic geometry, it also calls upon many other aspects of mathematics and... Read More >>
The 9th issue of the Transactions on Computational Science journal, edited by François Anton, is devoted to the... Read More >>
This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics,... Read More >>
This collection of contributed chapters, dedicated to renowned mathematician Gradimir V. Milovanovic, represent... Read More >>
Commonly used proof techniques are described and illustrated, and a wealth of exercises - of varying levels of difficulty... Read More >>
This volume brings out the proceedings of the workshop “Next Generation Design and Veri?cation Methodologies for... Read More >>