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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Artinian Modules over Group Rings
This book highlights important developments on artinian modules over group rings of generalized nilpotent groups. Along with ...
Lee mas
Aspects of Brownian Motion
Stochastic calculus and excursion theory are very efficient tools to obtain either exact or asymptotic results about Brownian ...
Lee mas
Asymmetry: The Foundation of Information
As individual needs have arisen in the fields of physics, electrical engineering and computational science, each has created ...
Lee mas
Asymmetry: The Foundation of Information
As individual needs have arisen in the fields of physics, electrical engineering and computational science, each has created ...
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 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
