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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
This book constitutes the refereed proceedings of the 16th International Symposium on Applied Algebra, Algebraic Algorithms ...
Continue reading
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, ...
Continue reading
Arithmetic of Finite Fields
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Continue reading
Arithmetic of Finite Fields
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, ...
Continue reading
Arithmetic of Finite Fields
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic ...
Continue reading
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 ...
Continue reading
Artinian Modules over Group Rings
This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...
Continue reading
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Continue reading
Axial Flux Permanent Magnet Brushless Machines
This book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
