Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
interactive computing » interactive computer
proceedings program » proceedings from
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
interactive computing » interactive computer
proceedings program » proceedings from
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
1
Publicado em 2014
Sumário:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2010
Sumário:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2014
Sumário:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2012
Sumário:
“...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2010
Sumário:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2015
Sumário:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2006
Sumário:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2007
Sumário:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2014
Sumário:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2008
Sumário:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2005
Sumário:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2007
Sumário:
“... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2005
Sumário:
“... of Deterministic Tree Languages -- Constructive Reasoning and Computational Mathematics -- Complexity...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2007
Sumário:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2005
Sumário:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2013
Sumário:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2008
Sumário:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2013
Sumário:
“... -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2006
Sumário:
“... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2008
Sumário:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”Obter o texto integral
Recurso Eletrônico
livro eletrônico