Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
interactive computing » interactive computer
computing programs » comparing programs, computing progress, conducting programs
programs program » programming program
program section » program execution, program collection, program security
section https » sedation https, fiction https, infection https
interactive computing » interactive computer
computing programs » comparing programs, computing progress, conducting programs
programs program » programming program
program section » program execution, program collection, program security
section https » sedation https, fiction https, infection https
1
Pubblicazione 2008
Sommario:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Testo
Elettronico
eBook
2
Pubblicazione 2008
Sommario:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Testo
Elettronico
eBook
3
Pubblicazione 2008
Sommario:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Testo
Elettronico
eBook
4
Pubblicazione 2014
Sommario:
“...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”Testo
Elettronico
eBook
5
Pubblicazione 2012
Sommario:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Testo
Elettronico
eBook
6
Pubblicazione 2006
Sommario:
“...Invited Papers -- MetateM: The Story so Far -- Agent-Based Computing and Programming of Agent...”Testo
Elettronico
eBook
7
8
Pubblicazione 2015
Sommario:
“... and Adult Drug-seeking Behavior: Interactions with Genes and Relation to Non-drug Related Behavior -- A Self...”Testo
Elettronico
eBook
9
Pubblicazione 2008
Sommario:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Testo
Elettronico
eBook
10
Pubblicazione 2013
Sommario:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Testo
Elettronico
eBook
11
Pubblicazione 2008
Sommario:
“... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”Testo
Elettronico
eBook
12
Soggetti:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
Testo
Testo
Elettronico
eBook
13
Soggetti:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Testo
Testo
Elettronico
eBook
14
Pubblicazione 2013
Sommario:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”Testo
Elettronico
eBook
15
Pubblicazione 2008
Sommario:
“... -- to Multiobjective Optimization: Interactive Approaches -- to Evolutionary Multiobjective Optimization -- Recent...”Testo
Elettronico
eBook
16
17
Pubblicazione 2006
Sommario:
“...Interactive Narrative Systems -- Believable Agents and Intelligent Story Adaptation for Interactive...”Testo
Elettronico
eBook
18
Pubblicazione 2014
Sommario:
“... for contextualized decision support in e-health applications -- Computing the context effect for science learning...”Testo
Elettronico
eBook
19
Pubblicazione 2012
Sommario:
“...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”Testo
Elettronico
eBook
20
Pubblicazione 2011
Soggetti:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”Testo
Elettronico
eBook