Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
interactive computing » interactive computer
proceedings program » proceedings from
proceeding program » processing program, processing programs, breeding program
https » http
interactive computing » interactive computer
proceedings program » proceedings from
proceeding program » processing program, processing programs, breeding program
https » http
1
Vydáno 2010
Obsah:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2012
Obsah:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2006
Obsah:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2008
Obsah:
“... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2005
Obsah:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2006
Obsah:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Získat plný text
Elektronický zdroj
E-kniha
8
9
Vydáno 2008
Obsah:
“... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2006
Obsah:
“...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2010
Obsah:
“... Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2006
Obsah:
“...Human Computer Interaction -- A Rule-Based Publish-Subscribe Message Routing System for Ubiquitous...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2005
Obsah:
“... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2006
Obsah:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2008
Obsah:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2010
Obsah:
“...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2007
Obsah:
“... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2008
Obsah:
“... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2006
Obsah:
“... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2008
Obsah:
“...: An Architecture for Flexible Interaction with Electronic Devices -- Exo-Leasing: Escrow Synchronization for Mobile...”Získat plný text
Elektronický zdroj
E-kniha