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