1
Published 2014
Table of Contents: ... Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Model Synchronization -- An Invariant-Based Method for the Analysis of Declarative Model-to-Model...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...
View full text
Electronic eBook
5
Table of Contents: ...The Communication Mechanism of Cognition -- Matters of Method -- Interfaces and Components -- Data...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- Workshop on Dynamic Process Management (DPM 2006) -- Preface -- A Declarative Approach for Flexible...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- A Fluid Interface for Personal Digital Libraries -- MedioVis – A User-Centred Library Metadata...
View full text
Electronic eBook