Covers topics on both theoretical control systems and their applications across engineering domains such as automatic control, ...
اقرأ المزيدThis volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
اقرأ المزيدThis volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 12th International Workshop on Cooperative Information Agents, CIA ...
اقرأ المزيدThis volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيدTheformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life ...
اقرأ المزيدThe 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint ...
اقرأ المزيدConstitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...
اقرأ المزيدIntroduces the reader to the principles used in the construction of a large range of modern data communication protocols. ...
اقرأ المزيدA number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
اقرأ المزيد