1
Publicerad 2006
Innehållsförteckning: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2008
Innehållsförteckning: ... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2005
Innehållsförteckning: ...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2005
Innehållsförteckning: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
Hämta fulltext
Elektronisk E-bok
6
Innehållsförteckning: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2005
Innehållsförteckning: ... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2014
Innehållsförteckning: ... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2005
Innehållsförteckning: ...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2005
Innehållsförteckning: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2014
Innehållsförteckning: ...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...
Hämta fulltext
Elektronisk E-bok
12
av Yang, Yangyang., Yang, Yangyang.
Publicerad 2015
Innehållsförteckning: ... nanostructure assembling reversibly in programmed patterns -- Arrangement of gold nanoparticles onto a slit-type...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2015
Innehållsförteckning: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2010
Innehållsförteckning: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2005
Innehållsförteckning: ... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...
Hämta fulltext
Elektronisk E-bok
16
Innehållsförteckning: ...Preface -- Introduction -- The Practice-oriented Research Program in CSCW -- The View from...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2005
Innehållsförteckning: ... Processing on Conventional MIMD Computers -- Parallel Implementation of Back-Propagation Neural Network...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2010
Innehållsförteckning: ... New Processing Model Based on Mobile Interactive Documents -- A Framework for Observing Dynamics...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ... Construction Part of SIFT -- Weighted Map for Reflectance and Shading Separation Using a Single Image...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2008
Innehållsförteckning: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
Hämta fulltext
Elektronisk E-bok