Six parallel Business Process Management workshops were held on September 5th, 2005,The topics of the workshops ranged from ...
اقرأ المزيد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 ...
اقرأ المزيدA general architecture for service delivery and coordination in intelligent agent-based peer-to-peer (IP2P) environments, ...
اقرأ المزيد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 covers a variety of well known topics of interest to practitioners in industry and research scientists. The range ...
اقرأ المزيد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 celebrates the life and work of Karen Spärck Jones in her seventieth year. she is one of the major figures of ...
اقرأ المزيدThe papers in this volume were presented at the workshop “Topic Map Research and Applications 2005” held on October 6-7, ...
اقرأ المزيدThis book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held ...
اقرأ المزيدThis book organized in topical sections on multimodal human-computer interfaces, neuropsychology and neurocomputing, Chinese-German ...
اقرأ المزيدThis book organized in topical sections on multimodal human-computer interfaces, neuropsychology and neurocomputing, Chinese-German ...
اقرأ المزيد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. ...
اقرأ المزيدEsterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...
اقرأ المزيد