Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
interactive computing » interactive computer
computing programs » comparing programs, computing progress, conducting programs
programs program » programming program
sedation https » education https, relations https, emotion https
section https » fiction https, infection https, reactions https
interactive computing » interactive computer
computing programs » comparing programs, computing progress, conducting programs
programs program » programming program
sedation https » education https, relations https, emotion https
section https » fiction https, infection https, reactions https
1
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2014
İçindekiler:
“...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2012
İçindekiler:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2006
İçindekiler:
“...Invited Papers -- MetateM: The Story so Far -- Agent-Based Computing and Programming of Agent...”Tam Metin Erişim
Elektronik
Ekitap
7
8
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... and Adult Drug-seeking Behavior: Interactions with Genes and Relation to Non-drug Related Behavior -- A Self...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”Tam Metin Erişim
Elektronik
Ekitap
12
Yazar: Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
Baskı/Yayın Bilgisi 2011
Konular:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”Baskı/Yayın Bilgisi 2011
Tam Metin Erişim
Elektronik
Ekitap
13
Konular:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... -- to Multiobjective Optimization: Interactive Approaches -- to Evolutionary Multiobjective Optimization -- Recent...”Tam Metin Erişim
Elektronik
Ekitap
16
17
Baskı/Yayın Bilgisi 2006
İçindekiler:
“...Interactive Narrative Systems -- Believable Agents and Intelligent Story Adaptation for Interactive...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... for contextualized decision support in e-health applications -- Computing the context effect for science learning...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2012
İçindekiler:
“...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2011
Konular:
“...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”Tam Metin Erişim
Elektronik
Ekitap