Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
interactive computing » interactive computer
program construction » programmed instruction
computing programs » comparing programs, computing progress, conducting programs
construction https » instruction https, conservation https, construction history
programs program » programming program
interactive computing » interactive computer
program construction » programmed instruction
computing programs » comparing programs, computing progress, conducting programs
construction https » instruction https, conservation https, construction history
programs program » programming program
1
Publicado 2008
Tabla de Contenidos:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Enlace del recurso
Electrónico
eBook
2
Publicado 2007
Tabla de Contenidos:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”Enlace del recurso
Electrónico
eBook
3
Publicado 2014
Tabla de Contenidos:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Enlace del recurso
Electrónico
eBook
4
Publicado 2005
Tabla de Contenidos:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”Enlace del recurso
Electrónico
eBook
5
Tabla de Contenidos:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
6
Publicado 2005
Tabla de Contenidos:
“... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”Enlace del recurso
Electrónico
eBook
7
Publicado 2005
Tabla de Contenidos:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Enlace del recurso
Electrónico
eBook
8
Publicado 2013
Tabla de Contenidos:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”Enlace del recurso
Electrónico
eBook
9
Tabla de Contenidos:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
10
Publicado 2007
Tabla de Contenidos:
“... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”Enlace del recurso
Electrónico
eBook
11
Publicado 2014
Tabla de Contenidos:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”Enlace del recurso
Electrónico
eBook
12
Publicado 2010
Tabla de Contenidos:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”Enlace del recurso
Electrónico
eBook
13
Publicado 2008
Tabla de Contenidos:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Enlace del recurso
Electrónico
eBook
14
Publicado 2010
Tabla de Contenidos:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”Enlace del recurso
Electrónico
eBook
15
Publicado 2005
Tabla de Contenidos:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Enlace del recurso
Electrónico
eBook
16
Publicado 2012
Tabla de Contenidos:
“...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”Enlace del recurso
Electrónico
eBook
17
Publicado 2014
Tabla de Contenidos:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Enlace del recurso
Electrónico
eBook
18
Publicado 2006
Tabla de Contenidos:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Enlace del recurso
Electrónico
eBook
19
Publicado 2015
Tabla de Contenidos:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”Enlace del recurso
Electrónico
eBook
20
por Potter, Granville Bud., Potter, Granville Bud., Gibbs, John C., Robbins, Molly., Langdon, Peter E.
Publicado 2015
Tabla de Contenidos:
“... to Manage Anger and Correct Thinking Errors -- Chapter 6. Equipping with Social Interaction Skills...”Publicado 2015
Enlace del recurso
Electrónico
eBook