This book proposes an approach to analyzing, designing and implementing Group Decision Support Systems (GDSS). The experience gained in developing a c...
The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and wher...
The theory of formal semantics for programming languages was developed to allow the function of computer programs to be defined precisely. As a conseq...
Contains some lectures given in Spring 1986 at ETH Zurich in the framework of an Advanced Course on New Approaches to the Architecture and the Design...
This volume presents a selection of contributions from the Fifth Workshop on Informatics and Psychology at Scharding, Austria, May 1986, which focused...
