1
Published 2008
Table of Contents: ... Impaired PSENs through a Computer Mediated Distance Learning Program....
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Asynchronous Approximate Dynamic Programming -- Do Agents Make Model Checking Explode (Computationally...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...Workshops -- Consistency Problems in UML-Based Software Development -- 5th International Workshop...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...Grid Computing, High Performance and Distributed Applications (GADA) 2006 International Conference...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Coating Process; Chachsanun Srisoy, Suksan Prombanpong -- Developing interfaces based on services...
View full text
Electronic eBook
14
Published 2011
Table of Contents: ... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Warehouses: Contrasting Consumer Problems with Supplier Viewpoints -- Conformance Testing of Open Interfaces...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Partitioning Of Problems Through Submodel Decomposition— A Promising Technique Of Det -- Session 2 Distributed...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ...-functions of Quasi-selfadjoint Contractions -- A Class of Abstract Boundary Value Problems with Locally...
View full text
Electronic eBook