Electronic Books

Total Books: 21 - 40 /269

Applicazioni ed esercizi di modellistica numerica per problemi differenziali

Questo testo contiene una raccolta di esercizi riferiti agli argomenti tipici di un corso di metodi analitici e numerici ...

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic ...

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Among the subjects addressed are block codes, including list-decoding algorithms; algebra and codes: rings, fields, algebraic ...

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

This book constitutes the refereed proceedings of the 16th International Symposium on Applied Algebra, Algebraic Algorithms ...

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 ...

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 ...

Artinian Modules over Group Rings

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

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 ...

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, ...

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 ...

Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular ...

Total Books: 21 - 40 /269