Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
integration computing » integration competing, interaction computing, integration computer
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding program » proceedings program, processing program, processing programs
program java » program jarak, program a, program jom
https » http
integration computing » integration competing, interaction computing, integration computer
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding program » proceedings program, processing program, processing programs
program java » program jarak, program a, program jom
https » http
1
Publicado 2010
Tabla de Contenidos:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Enlace del recurso
Electrónico
eBook
2
Publicado 2005
Tabla de Contenidos:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Enlace del recurso
Electrónico
eBook
3
Publicado 2005
Tabla de Contenidos:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”Enlace del recurso
Electrónico
eBook
4
Publicado 2013
Tabla de Contenidos:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Enlace del recurso
Electrónico
eBook
5
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Tabla de Contenidos:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Enlace del recurso
Electrónico
eBook
6
Publicado 2012
Tabla de Contenidos:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Enlace del recurso
Electrónico
eBook
7
Publicado 2008
Tabla de Contenidos:
“... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...”Enlace del recurso
Electrónico
eBook
8
Publicado 2014
Tabla de Contenidos:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Enlace del recurso
Electrónico
eBook
9
Publicado 2005
Tabla de Contenidos:
“... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...”Enlace del recurso
Electrónico
eBook
10
Publicado 2010
Tabla de Contenidos:
“... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”Enlace del recurso
Electrónico
eBook
11
Publicado 2005
Tabla de Contenidos:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Enlace del recurso
Electrónico
eBook
12
Publicado 2006
Tabla de Contenidos:
“... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...”Enlace del recurso
Electrónico
eBook
13
Publicado 2010
Tabla de Contenidos:
“... Integrated Services Networks -- Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks...”Enlace del recurso
Electrónico
eBook
14
Publicado 2006
Tabla de Contenidos:
“...Human Computer Interaction -- A Rule-Based Publish-Subscribe Message Routing System for Ubiquitous...”Enlace del recurso
Electrónico
eBook
15
Publicado 2005
Tabla de Contenidos:
“...Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy...”Enlace del recurso
Electrónico
eBook
16
Publicado 2005
Tabla de Contenidos:
“... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”Enlace del recurso
Electrónico
eBook
17
Publicado 2013
Tabla de Contenidos:
“... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”Enlace del recurso
Electrónico
eBook
18
Publicado 2005
Tabla de Contenidos:
“... Systems -- Challenges in Programming Sensor Networks -- Regular Papers -- Distributed Proximity...”Enlace del recurso
Electrónico
eBook
19
Publicado 2005
Tabla de Contenidos:
“... and Portable Devices -- A File System for System Programming in Ubiquitous Computing....”Enlace del recurso
Electrónico
eBook
20
Publicado 2008
Tabla de Contenidos:
“... -- Validating Desktop Grid Results By Comparing Intermediate Checkpoints -- Integration of the Enanos Execution...”Enlace del recurso
Electrónico
eBook