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