Interactive Computation The New Paradigm
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2006, 2006
|
| Edition: | 1st ed. 2006 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Turing, Computing and Communication
- Computing and Interaction
- Principles of Interactive Computation
- Theory
- A Theory of System Interaction: Components, Interfaces, and Services
- Verification of Open Systems
- A Theory of Interactive Computation
- Online Algorithms
- Interactive Algorithms 2005 with Added Appendix
- Computability Logic: A Formal Theory of Interaction
- Applications
- Human-Computer Interaction
- Modeling Web Interactions and Errors
- Composition of Interacting Computations
- From Information-Centric to Experiential Environments
- Modeling and Simulation of Large Biological, Information and Socio-Technical Systems: An Interaction Based Approach
- New Directions
- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
- Coordination
- Social Interaction, Knowledge, and Social Software
- Interaction, Computation, and Education