Advances in Control, Signal Processing and Energy Systems
Covers topics on both theoretical control systems and their applications across engineering domains such as automatic control, ...
اقرأ المزيد
Communicating Sequential Processes. The First 25 Years
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
اقرأ المزيد
Constraint Solving and Language Processing
This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
اقرأ المزيد
Cooperative Information Agents XII : 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Workshop on Cooperative Information Agents, CIA ...
اقرأ المزيد
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
اقرأ المزيد
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...
اقرأ المزيد
Global Optimization and Constraint Satisfaction
Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life ...
اقرأ المزيد
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3524)
The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
اقرأ المزيد
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990)
This book constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques ...
اقرأ المزيد
Principle and Practice of Constraint Programming - CP 2006
This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint ...
اقرأ المزيد
Principles and Practice of Constraint Programming - CP 2005
Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...
اقرأ المزيد
Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...
اقرأ المزيد
Principles of Protocol Design
Introduces the reader to the principles used in the construction of a large range of modern data communication protocols. ...
اقرأ المزيد
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
اقرأ المزيد
