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