Electronic Books

Total Books: 1 - 20 /23

Advanced Time-Correlated Single Photon Counting Techniques

Time-correlated single photon counting (TCSPC) is a remarkable technique for recording low-level light signals with extremely ...

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. ...

Concurrency Theory

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...

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 ...

Distributed Search by Constrained Agents : Algorithms, Performance, Communication

This book presents a comprehensive discussion on the field of distributed constraints, its algorithms and its active research ...

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 ...

Human and Organisational Factors Practices and Strategies for a Changing World

This book addresses several questions regarding the implementation of human and organisational factors (HOF) so that recent ...

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 ...

Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...

Managing Risk and Information Security : Protect to Enable

Examine the evolving enterprise security landscape and discover how to manage and survive risk. While based primarily on ...

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. ...

Reviews in Fluorescence 2005

It summarizes the year’s progress in fluorescence, with authoritative analytical reviews specialized enough to be attractive ...

Total Books: 1 - 20 /23