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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Artinian Modules over Group Rings
This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...
Lire la suite
Aspects of Brownian Motion
Stochastic calculus and excursion theory are very efficient tools to obtain either exact or asymptotic results about Brownian ...
Lire la suite
Asymmetry: The Foundation of Information
As individual needs have arisen in the fields of physics, electrical engineering and computational science, each has created ...
Lire la suite
Asymmetry: The Foundation of Information
As individual needs have arisen in the fields of physics, electrical engineering and computational science, each has created ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Automata, Languages and Programming (vol. # 3580)
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP ...
Lire la suite
Automata, Languages and Programming (vol. # 4051)
ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 ...
Lire la suite
Automata, Languages and Programming (vol. # 4052)
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
Lire la suite
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, ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suite
