Scott A. Smolka – författare
Visar alla böcker från författaren Scott A. Smolka. Handla med fri frakt och snabb leverans.
5 produkter
Runtime Verification
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Av Borzoo Bonakdarpour, Scott A. Smolka
Häftad, 2014
568 kr
Lägg i varukorg
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 …
Runtime Verification
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Av Scott A. Smolka, Borzoo Bonakdarpour
E-bok, 2014
755 kr
Lägg i varukorg
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 …
Interactive Computation
The New Paradigm
Av Dina Goldin, Scott A. Smolka m. fl.
Inbunden, 2006
1690 kr
Lägg i varukorg
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than algorithms, thus reflecting the shift in technology from number-crunching on mainframes to distributed intelligent networks with graphical user interfaces. Editors Goldin, …
Interactive Computation
The New Paradigm
Av Peter Wegner, Scott A. Smolka m. fl.
E-bok, 2006
2174 kr
Lägg i varukorg
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than algorithms, thus reflecting the shift in technology from number-crunching on mainframes to distributed intelligent networks with graphical user interfaces. Editors Goldin, …
Interactive Computation
The New Paradigm
Av Dina Goldin, Scott A. Smolka m. fl.
Häftad, 2010
1690 kr
Lägg i varukorg
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than algorithms, thus reflecting the shift in technology from number-crunching on mainframes to distributed intelligent networks with graphical user interfaces. Editors Goldin, …
