Interactive Computation The New Paradigm /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Goldin, Dina (Επιμελητής έκδοσης), Smolka, Scott A. (Επιμελητής έκδοσης), Wegner, Peter (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Θέματα: Computer science.; Computer programming.; Computers.; User interfaces (Computer systems).; Computer Science.; Theory of Computation.; Programming Techniques.; Models and Principles.; User Interfaces and Human Computer Interaction.

Πίνακας περιεχομένων:

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