Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
proceeding programmed » processing programmed, breeding programmes, breeding programme
computer proceeding » computer proceedings, computers proceedings, computer processing
general computer » general chapter, energy computer, genstat computer
programmed java » programming java, program java, programmed dna
https » http
proceeding programmed » processing programmed, breeding programmes, breeding programme
computer proceeding » computer proceedings, computers proceedings, computer processing
general computer » general chapter, energy computer, genstat computer
programmed java » programming java, program java, programmed dna
https » http
1
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
2
Publicado 2006
Tabla de Contenidos:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”Enlace del recurso
Electrónico
eBook
3
Publicado 2010
Tabla de Contenidos:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Enlace del recurso
Electrónico
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado 2010
Tabla de Contenidos:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Enlace del recurso
Electrónico
eBook
5
Publicado 2007
Tabla de Contenidos:
“... in Reasoning About Relationships -- Inheritance and Derivation -- JavaGI: Generalized Interfaces for Java...”Enlace del recurso
Electrónico
eBook
6
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicado 2007
Tabla de Contenidos:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Enlace del recurso
Electrónico
eBook
7
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publicado 2005
Tabla de Contenidos:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”Enlace del recurso
Electrónico
eBook
8
Publicado 2012
Tabla de Contenidos:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Enlace del recurso
Electrónico
eBook
9
Publicado 2015
Tabla de Contenidos:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”Enlace del recurso
Electrónico
eBook
10
Publicado 2006
Tabla de Contenidos:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Enlace del recurso
Electrónico
eBook
11
Publicado 2014
Tabla de Contenidos:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Enlace del recurso
Electrónico
eBook
12
Publicado 2010
Tabla de Contenidos:
“... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”Enlace del recurso
Electrónico
eBook
13
Publicado 2012
Tabla de Contenidos:
“... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”Enlace del recurso
Electrónico
eBook
14
Publicado 2007
Tabla de Contenidos:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Enlace del recurso
Electrónico
eBook
15
Publicado 2005
Tabla de Contenidos:
“...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”Enlace del recurso
Electrónico
eBook
16
Publicado 2008
Tabla de Contenidos:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”Enlace del recurso
Electrónico
eBook
17
Publicado 2005
Tabla de Contenidos:
“... -- Job Scheduling Policy for High Throughput Grid Computing -- High Performance Task Scheduling Algorithm...”Enlace del recurso
Electrónico
eBook
18
Publicado 2010
Tabla de Contenidos:
“... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”Enlace del recurso
Electrónico
eBook
19
Publicado 2006
Tabla de Contenidos:
“... -- An Enhanced Parallel Version of Kiva–3V, Coupled with a 1D CFD Code, and Its Use in General Purpose Engine...”Enlace del recurso
Electrónico
eBook
20
Publicado 2007
Tabla de Contenidos:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”Enlace del recurso
Electrónico
eBook