Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive interactive » interaction interactive, integrative interactive, interactive narrative
interactive programming » imperative programming, interfacing programming, reactive programming
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
interactive interactive » interaction interactive, integrative interactive, interactive narrative
interactive programming » imperative programming, interfacing programming, reactive programming
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Published 2010
Table of Contents:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”View full text
Electronic
eBook
6
Published 2013
Subjects:
“...Education, general. https://scigraph.springernature.com/ontologies/product-market-codes/O00000...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...”View full text
Electronic
eBook
12
Table of Contents:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
View full text
View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
15
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
16
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text
View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”View full text
Electronic
eBook
20
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