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