Time-correlated single photon counting (TCSPC) is a remarkable technique for recording low-level light signals with extremely ...
Lire la suiteCovers 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 suiteConcurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
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 book presents a comprehensive discussion on the field of distributed constraints, its algorithms and its active research ...
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 suiteThis book addresses several questions regarding the implementation of human and organisational factors (HOF) so that recent ...
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 volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...
Lire la suiteExamine the evolving enterprise security landscape and discover how to manage and survive risk. While based primarily on ...
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 suiteIt summarizes the year’s progress in fluorescence, with authoritative analytical reviews specialized enough to be attractive ...
Lire la suite