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 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, ...
اقرأ المزيدThis volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
اقرأ المزيدBy highlighting relations between experimental and theoretical work, this volume explores new ways of addressing one of the ...
اقرأ المزيدThis book introduces a general framework that allows natural language researchers to enhance existing competence theories ...
اقرأ المزيدThis volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent ...
اقرأ المزيدCICLing 2006 (www.CICLing.org) was the 7th Annual Conference on Intelligent Text Processing and Computational Linguistics. ...
اقرأ المزيدThe CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
اقرأ المزيدThe notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...
اقرأ المزيدThe book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
اقرأ المزيد