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