The two volume set LNCS 3696 and LNCS 3697 constitutes the refereed proceedings of the 15th International Conference on Artificial ...
اقرأ المزيدThe second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network ...
اقرأ المزيدThis book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis ...
اقرأ المزيدThe papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in ...
اقرأ المزيدIn this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes ...
اقرأ المزيدThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيدThis book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 7th International Symposium on Biological and Medical Data Analysis, ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-workshop proceedings of 6 internationl workshops held in Brisbane, Australia, ...
اقرأ المزيدC++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the ...
اقرأ المزيدThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
اقرأ المزيدThis volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
اقرأ المزيدThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيدThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
اقرأ المزيدThis book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
اقرأ المزيدthe papers cover epistemology, general philosophy of science, philosophy of language, and philosophy of mind. The section ...
اقرأ المزيدThis book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held ...
اقرأ المزيدThis book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...
اقرأ المزيد