Hakutulokset: Kirjoja kirjailijalta Martin Wirsing
yhteensä 36 hakutulosta
Web Engineering
Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supported approaches for the development, maintenance and te- ing of Web applications. …
Knowledge Science, Engineering and Management
This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October …
Trustworthy Global Computing
Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees …
Theoretical Aspects of Computing - ICTAC 2005
This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October …
Software Engineering for Collective Autonomic Systems
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new …
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019. The 15 full and 6 short papers …
Knowledge Science, Engineering and Management
This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October …
Software Engineering for Collective Autonomic Systems
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new …
Adapting Proofs-as-Programs
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has …
Algebraic Methodology and Software Technology
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July …
Adapting Proofs-as-Programs
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has …