Interactive Computation The New Paradigm

Bibliographic Details
Other Authors: Goldin, Dina (Editor), Smolka, Scott A. (Editor), Wegner, Peter (Editor)
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
LEADER 02138nmm a2200349 u 4500
001 EB000376323
003 EBX01000000000000000229375
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783540348740 
100 1 |a Goldin, Dina  |e [editor] 
245 0 0 |a Interactive Computation  |h Elektronische Ressource  |b The New Paradigm  |c edited by Dina Goldin, Scott A. Smolka, Peter Wegner 
250 |a 1st ed. 2006 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2006, 2006 
300 |a XV, 487 p. 84 illus  |b online resource 
505 0 |a 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 
653 |a User interfaces (Computer systems) 
653 |a Models of Computation 
653 |a Programming Techniques 
653 |a Computer science 
653 |a Computer programming 
653 |a Theory of Computation 
653 |a User Interfaces and Human Computer Interaction 
653 |a Human-computer interaction 
700 1 |a Smolka, Scott A.  |e [editor] 
700 1 |a Wegner, Peter  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
028 5 0 |a 10.1007/3-540-34874-3 
856 4 0 |u https://doi.org/10.1007/3-540-34874-3?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.0151