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