Artificial Intelligence in Theory and Practice II : IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Artificial Neural Networks: Biological Inspirations – ICANN 2005
The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial ...
Continue reading
Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005
The second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network ...
Continue reading
Artificial Nutrition and Hydration : The New Catholic Debate
This collection of essays by some of the most prominent Catholic bioethicists addresses the Pope’s statements, the moral ...
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
Aspects of Brownian Motion
Stochastic calculus and excursion theory are very efficient tools to obtain either exact or asymptotic results about Brownian ...
Continue reading
Asymmetry: The Foundation of Information
As individual needs have arisen in the fields of physics, electrical engineering and computational science, each has created ...
Continue reading
Asymmetry: The Foundation of Information
As individual needs have arisen in the fields of physics, electrical engineering and computational science, each has created ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Automata, Languages and Programming (vol. # 3580)
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP ...
Continue reading
Automata, Languages and Programming (vol. # 4051)
ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 ...
Continue reading
Automata, Languages and Programming (vol. # 4052)
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
Continue reading
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, ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Continue reading
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 ...
Continue reading
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 ...
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
