Electronic Books

Total Books: 41 - 60 /454

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

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

Arithmetic of Finite Fields

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

Arithmetic of Finite Fields

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

Arithmetic of Finite Fields

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

Arithmetic of Finite Fields : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings

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

Arithmetical Investigations : Representation Theory, Orthogonal Polynomials, and Quantum Interpolations

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

Aritmetica, crittografia e codici

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

Artinian Modules over Group Rings

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

Atomic Spectroscopy

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

Automated Technology for Verification and Analysis

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

Axial Flux Permanent Magnet Brushless Machines

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

Basics of Fluid Mechanics and Introduction to Computational Fluid Dynamics

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

Beginning XSLT 2.0

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

Bilinear Integrable Systems: From Classical to Quantum, Continuous to Discrete

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

Biomedical Simulation : 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings

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

CONCUR 2007 – Concurrency Theory

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

CONCUR 2007 – Concurrency Theory

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

Calcolo Scientifico : Esercizi e problemi risolti con MATLAB e Octave = Scientific Computing: Exercises and problems solved with MATLAB and Octave

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

Calculus of Variations and Nonlinear Partial Differential Equations : With a historical overview by Elvira Mascolo

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

Calculus: One and Several Variables / Salas, Hille, Etgen

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

Total Books: 41 - 60 /454