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