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