Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Algebra --- Complex analysis --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- algebra --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- software engineering --- computernetwerken --- robots

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 15th International Conference on Principles of Distributed Systems, OPODIS 2011, held in Toulouse, France, in December 2011. The 26 revised papers presented in this volume were carefully reviewed and selected from 96 submissions. They represent the current state of the art of the research in the field of the design, analysis and development of distributed and real-time systems.

Electronic data processing --- Computer networks --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer Science --- Telecommunications --- Distributed processing --- Information Technology --- Computer Science (Hardware & Networks) --- Computer science. --- Computer communication systems. --- Software engineering. --- Algorithms. --- Computer science --- Artificial intelligence. --- Computer Science. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Symbolic and Algebraic Manipulation. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Mathematics --- Foundations --- Computer software. --- Computational complexity. --- Artificial Intelligence. --- Data processing. --- Complexity, Computational --- Software, Computer --- Computer systems --- Computer science—Mathematics. --- Computer networks. --- Discrete mathematics. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer architecture. Operating systems --- Computer. Automation --- multimedia --- computerbesturingssystemen --- programmeren (informatica) --- OS (operating system)