Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Interactive Computation -

Interactive Computation

The New Paradigm
Buch | Softcover
XV, 487 Seiten
2010 | 1. Softcover reprint of hardcover 1st ed. 2006
Springer Berlin (Verlag)
978-3-642-07102-7 (ISBN)
CHF 279,95 inkl. MwSt
  • Versand in 10-15 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken
The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift from number-crunching on mainframes to distributed intelligent networks with graphical user interfaces. It challenges traditional answers to questions of problem solving and the scope of computation.
lt;p>The interaction paradigm is a new conceptualization of computational phenomena that emphasizes interaction over algorithms, reflecting the shift in technology from main-frame number-crunching to distributed intelligent networks with graphical user interfaces. The book is arranged in four sections: "Introduction", comprising three chapters that explore and summarize the fundamentals of interactive computation; "Theory" with six chapters, each discussing a specific aspect of interaction; "Applications," five chapters showing how this principle is applied in subdisciplines of computer science; and "New Directions," presenting four multidisciplinary applications. The book challenges traditional Turing machine-based answers to fundamental questions of problem solving and the scope of computation.

Scott Smolka is a professor of computer science at Stony Brook University. His research interests include concurrency theory, model checking, and systems biology, and he has over 100 refereed publications in these areas. He is on the editorial board of Software Tools for Technology, Formal Methods in System Design, and Transactions on Computational Logic. He is also co-founder and president of Reactive Systems, Inc., which makes the Reactis tool suite for the automated testing and validation of embedded control software.

Dr. rer. soz. Peter Wegner, Psychoanalytiker (DVP/IVP), arbeitet selbstständig in privater Praxis in Tübingen.

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.

From the reviews:

"It is interesting that a book on interactive computation is constructed as a large cooperative effort involving 31 contributors; three of them also performed the editing task. ... Each section appears to be self contained--one may read in detail a chapter of personal interest in the middle of the book without having reference other material in the book. Each chapter has an excellent self-contained collection of references. ... Summing Up: Recommended. Upper-division undergraduates through professionals." (J. Beidler, CHOICE, Vol. 44 (9), May, 2007)

Erscheint lt. Verlag 14.10.2010
Zusatzinfo XV, 487 p. 84 illus.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 778 g
Themenwelt Informatik Software Entwicklung User Interfaces (HCI)
Mathematik / Informatik Informatik Theorie / Studium
Schlagworte algorithm • algorithms • Communication • Computability • Computer Science • Concurrency • Concurrency Models • Experimental Computing • Human-Computer Interaction (HCI) • Information • Interactive Paradigm • Modeling • Network • Nondeterministic Models • Online • Turing Machine • Turing Machines • user interface • verification
ISBN-10 3-642-07102-3 / 3642071023
ISBN-13 978-3-642-07102-7 / 9783642071027
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …

von Mahbouba Gharbi; Arne Koschel; Andreas Rausch; Gernot Starke

Buch | Hardcover (2023)
dpunkt Verlag
CHF 48,85
Lean UX und Design Thinking: Teambasierte Entwicklung …

von Toni Steimle; Dieter Wallach

Buch | Hardcover (2022)
dpunkt (Verlag)
CHF 48,85
Wissensverarbeitung - Neuronale Netze

von Uwe Lämmel; Jürgen Cleve

Buch | Hardcover (2023)
Carl Hanser (Verlag)
CHF 48,95