0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (3)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings... Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings (Paperback, 2014 ed.)
Borzoo Bonakdarpour, Scott A. Smolka
R2,689 Discovery Miles 26 890 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.

Interactive Computation - The New Paradigm (Paperback, Softcover reprint of hardcover 1st ed. 2006): Dina Goldin, Scott A.... Interactive Computation - The New Paradigm (Paperback, Softcover reprint of hardcover 1st ed. 2006)
Dina Goldin, Scott A. Smolka, Peter Wegner
R4,623 Discovery Miles 46 230 Ships in 10 - 15 working days

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.

Interactive Computation - The New Paradigm (Hardcover, 2006 ed.): Dina Goldin, Scott A. Smolka, Peter Wegner Interactive Computation - The New Paradigm (Hardcover, 2006 ed.)
Dina Goldin, Scott A. Smolka, Peter Wegner
R4,655 Discovery Miles 46 550 Ships in 10 - 15 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Loot
Nadine Gordimer Paperback  (2)
R398 R330 Discovery Miles 3 300
Loot
Nadine Gordimer Paperback  (2)
R398 R330 Discovery Miles 3 300
First Dutch Brands Isla Plant Stand…
R115 Discovery Miles 1 150
Frozen - Blu-Ray + DVD
Blu-ray disc R344 Discovery Miles 3 440
The Papery A5 WOW 2025 Diary - Wolf
R349 R324 Discovery Miles 3 240
Jumbo Jan van Haasteren Comic Jigsaw…
 (1)
R439 R399 Discovery Miles 3 990
Bestway Rainbow Ribbon Tube (Diameter…
R170 R120 Discovery Miles 1 200
LG 20MK400H 19.5" Monitor WXGA LED Black
R1,843 R1,675 Discovery Miles 16 750
Return Of The Dream Canteen
Red Hot Chili Peppers CD R185 R112 Discovery Miles 1 120
Higher
Michael Buble CD  (1)
R172 R154 Discovery Miles 1 540

 

Partners