Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding program » proceedings program, processing program, processing programs
general computing » neural computing, general computer, dental computing
program java » program jarak, program a, program jom
https » http
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding program » proceedings program, processing program, processing programs
general computing » neural computing, general computer, dental computing
program java » program jarak, program a, program jom
https » http
1
Argitaratua 2013
Aurkibidea:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Testu osoa
Baliabide elektronikoa
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Argitaratua 2010
Aurkibidea:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2007
Aurkibidea:
“... in Reasoning About Relationships -- Inheritance and Derivation -- JavaGI: Generalized Interfaces for Java...”Testu osoa
Baliabide elektronikoa
eBook
6
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Argitaratua 2007
Aurkibidea:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Testu osoa
Baliabide elektronikoa
eBook
7
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Argitaratua 2005
Aurkibidea:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2012
Aurkibidea:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2015
Aurkibidea:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2014
Aurkibidea:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2010
Aurkibidea:
“... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2012
Aurkibidea:
“... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2007
Aurkibidea:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2005
Aurkibidea:
“...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2008
Aurkibidea:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2005
Aurkibidea:
“... -- Job Scheduling Policy for High Throughput Grid Computing -- High Performance Task Scheduling Algorithm...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2006
Aurkibidea:
“... -- An Enhanced Parallel Version of Kiva–3V, Coupled with a 1D CFD Code, and Its Use in General Purpose Engine...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”Testu osoa
Baliabide elektronikoa
eBook