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