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
Aspects of Automatic Text Analysis
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis ...
Continue reading
Aspectual Inquiries
The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in ...
Continue reading
Attitudes and Changing Contexts
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes ...
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 Reasoning
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Continue reading
Biological and Medical Data Analysis (vol. # 4345)
This book constitutes the refereed proceedings of the 7th International Symposium on Biological and Medical Data Analysis, ...
Continue reading
Business Process Management Workshops : BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of 6 internationl workshops held in Brisbane, Australia, ...
Continue reading
C++ /CLI : The Visual C++ Language for .NET
C++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the ...
Continue reading
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Continue reading
CONCUR 2006 - Concurrency Theory
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Continue reading
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Continue reading
Categories for Software Engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
Continue reading
Causation, Coherence and Concepts : A Collection of Essays
the papers cover epistemology, general philosophy of science, philosophy of language, and philosophy of mind. The section ...
Continue reading
Chinese Computational Linguistics : 19th China National Conference, CCL 2020, Hainan, China, October 30 – November 1, 2020, Proceedings
This book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held ...
Continue reading
Collaboration Technologies and Social Computing : 26th International Conference, CollabTech 2020, Tartu, Estonia, September 8–11, 2020, Proceedings
This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...
Continue reading
