Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
اقرأ المزيد
Ubiquitous Computing Systems
UCS has become a symposium for the dissemination of state-of-the-art research and engineering practices in ubiquitous computing ...
اقرأ المزيد
Uncertainty, Rationality, and Agency
This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
اقرأ المزيد
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
اقرأ المزيد
Virtual Reality
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
اقرأ المزيد
Web Information Systems Engineering - WISE 2008 Workshops : WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings
The First International Workshop on Web Information Systems Engineering for Electronic Businesses and Governments (E-BAG ...
اقرأ المزيد
Web Information Systems Engineering – WISE 2007 Workshops
This book constitutes the joint refereed proceedings of six workshops held in conjunction with the 8th International Conference ...
اقرأ المزيد
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
اقرأ المزيد
Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...
اقرأ المزيد
