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í:
integration computing » integration competing, interaction computing, integration computer
proceedings programs » proceedings program, processing programs, procedures programs
programs java » program java, programs a, programs case
https » http
integration computing » integration competing, interaction computing, integration computer
proceedings programs » proceedings program, processing programs, procedures programs
programs java » program java, programs a, programs case
https » http
1
Vydáno 2010
Obsah:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2005
Obsah:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2013
Obsah:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2005
Obsah:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”Získat plný text
Elektronický zdroj
E-kniha
5
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Vydáno 2013
Obsah:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Získat plný text
Elektronický zdroj
E-kniha
6
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
7
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
8
Vydáno 2014
Obsah:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2010
Obsah:
“... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2005
Obsah:
“... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...”Získat plný text
Elektronický zdroj
E-kniha
11
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
12
Vydáno 2006
Obsah:
“... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2010
Obsah:
“... Integrated Services Networks -- Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks...”Získat plný text
Elektronický zdroj
E-kniha
14
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
15
Vydáno 2005
Obsah:
“...Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2005
Obsah:
“... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2005
Obsah:
“... Systems -- Challenges in Programming Sensor Networks -- Regular Papers -- Distributed Proximity...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2013
Obsah:
“... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2013
Obsah:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2005
Obsah:
“... and Portable Devices -- A File System for System Programming in Ubiquitous Computing....”Získat plný text
Elektronický zdroj
E-kniha