Asymptotics for Dissipative Nonlinear Equations
Many of problems of the natural sciences lead to nonlinear partial differential equations. However, only a few of them have ...
Lee mas
Atmospheric Boundary Layers
This collection of peer reviewed papers represents a concise, up-to-date summary of our current knowledge of planetary boundary ...
Lee mas
Atomic Spectroscopy
Atomic Spectroscopy provides a comprehensive discussion on the general approach to the theory of atomic spectra, based on ...
Lee mas
Attractivity and Bifurcation for Nonautonomous Dynamical Systems
Although, bifurcation theory of equations with autonomous and periodic time dependence is a major object of research in the ...
Lee mas
Autistic Community and the Neurodiversity Movement Stories from the Frontline
This book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the ...
Lee mas
Automata, Languages and Programming (vol. # 3580)
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP ...
Lee mas
Automata, Languages and Programming (vol. # 4051)
ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 ...
Lee mas
Automata, Languages and Programming (vol. # 4052)
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
Lee mas
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee mas
Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee mas
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lee mas
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lee mas
Automated Reasoning
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Lee mas
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee mas
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee mas
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lee mas
Automatic Differentiation: Applications, Theory, and Implementations
This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students ...
Lee mas
Automorphic Forms and Even Unimodular Lattices
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...
Lee mas
Automorphic Forms and Lie Superalgebras
Most known examples of Lie superalgebras with a related automorphic form such as the Fake Monster Lie algebra whose reflection ...
Lee mas
Autonomous Control for a Reliable Internet of Services
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable ...
Lee mas
