Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
interaction applications » interactive applications, internet applications, simulation applications
applications programming » application programming, application program, applications proceedings
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
interaction applications » interactive applications, internet applications, simulation applications
applications programming » application programming, application program, applications proceedings
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Udgivet 2014
Indholdsfortegnelse:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2005
Indholdsfortegnelse:
“... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2005
Indholdsfortegnelse:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Få fuldtekst
Electronisk
eBog
7
Indholdsfortegnelse:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Udgivet 2013
Indholdsfortegnelse:
“... Constructions -- Experience Based Nonmonotonic Reasoning -- An ASP application in integrative biology...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2007
Indholdsfortegnelse:
“... and Reason About Context -- Situation Specification and Realization in Rule-Based Context-Aware Applications...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2010
Indholdsfortegnelse:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”Få fuldtekst
Electronisk
eBog
12
Indholdsfortegnelse:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
13
Udgivet 2005
Indholdsfortegnelse:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2008
Indholdsfortegnelse:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“...Performance Tools -- Performance Analysis of Large-Scale OpenMP and Hybrid MPI/OpenMP Applications...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2008
Indholdsfortegnelse:
“... Intelligence Applications in Engineering Design -- A Prolog Based System That Assists Experts to Construct...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2008
Indholdsfortegnelse:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2015
Indholdsfortegnelse:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”Få fuldtekst
Electronisk
eBog