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 ...
Lee mas
Ubiquitous Computing Systems
UCS has become a symposium for the dissemination of state-of-the-art research and engineering practices in ubiquitous computing ...
Lee mas
Uncertainty, Rationality, and Agency
This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
Lee mas
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lee mas
Virtual Reality
This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
Lee mas
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 ...
Lee mas
