Hakutulokset: Hakutulos
yhteensä 14 hakutulosta
Elementare Aussagenlogik
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen …
Trustworthy Global Computing
Global computing refers to computation over "e;global computers,"e; i.e., com- tational infrastructures available globally and able to provide uniform services with …
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 …
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 …
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 …
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. …
Radical Innovations of Software and Systems Engineering in the Future
This volume contains the papers from the workshop "e;Radical Innovations of Software and Systems Engineering in the Future."e; This workshop was the ninth in the series of …
Rigorous Software Engineering for Service-Oriented Systems
Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, …
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 …
Recent Trends in Algebraic Development Techniques
Java kompakt
Das Buch bietet eine knappe, praxisorientierte Einfu¨hrung in die Programmierung mit Java, die den Stoff einer Erstsemestervorlesung oder einer Java-Umschulung abdeckt ohne …