Electronic Books

Total Books: 41 - 60 /454

Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...

This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...

This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic ...

This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI ...

In this volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic ...

The basic techniques of algebra and number theory useful in recent applications to cryptography and codes are developed, ...

This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...

Atomic Spectroscopy provides a comprehensive discussion on the general approach to the theory of atomic spectra, based on ...

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

This book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their ...

This handbook brings together the theoretical basics of fluid dynamics with a systemaic overview of the appropriate numerical ...

This followup to Jeni Tennison's Beginning XSLT has been updated to accomodate the revised XSLT standard. Part one of this ...

Trained as a physicistin his home university Kyushu University, Professor Hirota earned his PhD in’61 at Northwestern University ...

This book constitutes the refereed proceedings of the 4th International Symposium on Biomedical Simulation, ISBMS 2008, held ...

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

For the short courses of the new system of the Faculties of Engineering and Sciences. It deals with all the typical topics ...

This volume provides the texts of lectures given by L. Ambrosio, L. Caffarelli, M. Crandall, L.C. Evans, N. Fusco at the ...

Provides clear calculus content to help them master these concepts and understand its relevance to the real world. Throughout ...

Total Books: 41 - 60 /454