This book constitutes the thoroughly referred postproceeding of the International Provenance and Annotation Workshops, IPAW 2006, held in Chicago, Il,......
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation,......
This book constitutes the refereed proceedings of the 15th Annual Conference on Computational Learning Theory, COLT 2002, held in Sydney, Australia, i......
This book constitutes the thoroughly refereed proceedings of the 13th Workshop of the European Group for Intelligent Computing in Engineering on Intel......
This book constitutes the thoroughly refereed postproceedings of the 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005, held in Vienna, A......
This is a book about Gröbner bases and their applications. It contains 3 chapters, 20 sections, 44 tutorials, 165 exercises, and numerous further......
The book provides an easily accessible computationally oriented introduction into the numerical solution of stochastic differential equations using co......
This book arose from a series of courses on computer algebra which were given at Eindhoven Technical University. Its chapters present a variety of top......
“This monograph is intended to be a comprehensive presentation of several concepts，models，and mechanisms in the wide area of brain functioning and hum......
Homology 3-sphere is a closed 3-dimensional manifold whose homology equals that of the 3-sphere. These objects may look rather special but they have p......
This book presents algorithmic tools for algebraic geometry and experimental applications of them. It also introduces a software system in which the t......
This is an updated English translation of "Cohomologie Galoisienne", published more than 30 years ago as one of the very first Lecture Notes in Mathem......
Chaos in science has always been a fascinating realm since it challenges the usual scientific approach of reductionism. While carefully distinguishing......
The subject of these two volumes is non-linear filtering (prediction and smoothing) theory and its application to the problem of optimal estimation, c......
This volume of the Encyclopaedia contains two articles，which give a survey of modern research into non-regular Riemannian geometry，carried out mostly ......
“（The book is） a lean and largely self-contained introduction to the modern theory of probability，aimed at advanced undergraduate or beginning graduat......
The nutritive endosperm of angiosperms is mankind’s most important source of food, livestock feed and industrial raw material. This book is the first ......
This volume collects papers about the laws of geometric Brownian motions and their time-integrals, written by the author and coauthors between 1988 an......
These notes, already well known in their original French edition, give the basic theory of semisimple Lie algebras over the complex numbers including ......
