Interactive Computation The New Paradigm /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Goldin, Dina (Editor ), Smolka, Scott A. (Editor ), Wegner, Peter (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Temas:
Computer science.
Computer programming.
User interfaces (Computer systems).
Human-computer interaction.
Theory of Computation.
Programming Techniques.
Models of Computation.
User Interfaces and Human Computer Interaction.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares