Part of the new series, Advanced Topics in Science and Technology in China, this book is designed to give the necessary theoretical ...
Continue reading
Questo testo contiene una raccolta di esercizi riferiti agli argomenti tipici di un corso di metodi analitici e numerici ...
Continue reading
Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic ...
Continue reading
Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic ...
Continue reading
This book constitutes the refereed proceedings of the 16th International Symposium on Applied Algebra, Algebraic Algorithms ...
Continue reading
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Continue reading
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Continue reading
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Continue reading
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic ...
Continue reading
In this volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic ...
Continue reading
This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...
Continue reading
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Continue reading
This book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their ...
Continue reading
This handbook brings together the theoretical basics of fluid dynamics with a systemaic overview of the appropriate numerical ...
Continue reading
Trained as a physicistin his home university Kyushu University, Professor Hirota earned his PhD in’61 at Northwestern University ...
Continue reading
This book constitutes the refereed proceedings of the 4th International Symposium on Biomedical Simulation, ISBMS 2008, held ...
Continue reading
Provides an insight into the latest advances in bone fracture healing and remodeling algorithm and their incorporation into ...
Continue reading
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
This volume provides the texts of lectures given by L. Ambrosio, L. Caffarelli, M. Crandall, L.C. Evans, N. Fusco at the ...
Continue reading