Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
interactive applications » internet applications, enterprise applications, quantitative applications
applications programming » application programming, application program, applications proceedings
programming programming » programming programmed, programming program
programming abstraction » programming abstract, programming introduction
abstraction https » instruction https, arbitration https, extraction https
interactive applications » internet applications, enterprise applications, quantitative applications
applications programming » application programming, application program, applications proceedings
programming programming » programming programmed, programming program
programming abstraction » programming abstract, programming introduction
abstraction https » instruction https, arbitration https, extraction https
1
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... and Load Balancing [Extended Abstract] -- Determining Majority in Networks with Local Interactions and Very...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2015
İçindekiler:
“...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Computing -- to Amorphous Computing -- Abstractions for Directing Self-organising Patterns -- Programming...”Tam Metin Erişim
Elektronik
Ekitap
6
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
7
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2014
İçindekiler:
“...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2012
İçindekiler:
“... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...”Tam Metin Erişim
Elektronik
Ekitap
12
İçindekiler:
“...The Abstract Rational Outlook -- A Grab Bag of Computational Models -- Some Formal Technology...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... -- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) -- Session A9...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Tam Metin Erişim
Elektronik
Ekitap
15
İçindekiler:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2005
İçindekiler:
“...: Eliminating Abstraction Overhead from Generic Code -- Implicitly Heterogeneous Multi-stage Programming...”Tam Metin Erişim
Elektronik
Ekitap
17
18
İçindekiler:
“...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... -- EvoINTERACTION Contributions -- EvoMUSART Contributions -- EvoSTOC Contributions....”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... of the Semantic Approach to Foundational Proof-Carrying Code: Abstract -- Can Proofs Be Animated By Games...”Tam Metin Erişim
Elektronik
Ekitap