Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Lire la suiteThis book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Lire la suiteThis book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI ...
Lire la suiteIn this volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic ...
Lire la suiteThe basic techniques of algebra and number theory useful in recent applications to cryptography and codes are developed, ...
Lire la suiteThis book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...
Lire la suiteAtomic Spectroscopy provides a comprehensive discussion on the general approach to the theory of atomic spectra, based on ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suiteThis book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their ...
Lire la suiteThis handbook brings together the theoretical basics of fluid dynamics with a systemaic overview of the appropriate numerical ...
Lire la suiteThis followup to Jeni Tennison's Beginning XSLT has been updated to accomodate the revised XSLT standard. Part one of this ...
Lire la suiteTrained as a physicistin his home university Kyushu University, Professor Hirota earned his PhD in’61 at Northwestern University ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Symposium on Biomedical Simulation, ISBMS 2008, held ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteFor the short courses of the new system of the Faculties of Engineering and Sciences. It deals with all the typical topics ...
Lire la suiteThis volume provides the texts of lectures given by L. Ambrosio, L. Caffarelli, M. Crandall, L.C. Evans, N. Fusco at the ...
Lire la suiteProvides clear calculus content to help them master these concepts and understand its relevance to the real world. Throughout ...
Lire la suite