Electronic Books

Total Books: 241 - 260 /1913

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 ...

Total Books: 241 - 260 /1913