| Physical description |
1 online resource (xiv, 487 pages) : illustrations |
| Bibliography |
Includes bibliographical references. |
| Contents |
Turing, Computing and Communication; Computing and Interaction; Principles of Interactive Computation; 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; Human-Computer Interaction; Modeling Web Interactions and Errors; Composition of Interacting Computations; From Information-Centric to Experiential Environments. |
| Summary |
Challenges traditional Turing machine-based answers to fundamental questions relating to problem solving and the scope of computation. Assuming the reader has only an undergraduate-level background in computer science, this book serves as an introduction to this important discipline. |
| Notes |
Springer e-books |
| Other author |
Goldin, Dina Q.
|
|
Smolka, Scott A.
|
|
Wegner, Peter.
|
| Subject |
Interactive computer systems.
|
|
Computer science.
|
| ISBN |
9783540346661 (hbk.) |
|
354034666X (hbk.) |
|
9783540348740 (electronic bk.) |
|
3540348743 (electronic bk.) |
|
1280627395 |
|
9781280627392 |
|
6610627398 |
|
9786610627394 |
| Standard Number |
10.1007/3-540-34874-3 |
|
