Rekommenderade teman
Rekommenderade teman
Menade du:
international computer » international center
computer programs » computer program
programs program » programming program
program java » program jarak, program a, program jom
https » http
international computer » international center
computer programs » computer program
programs program » programming program
program java » program jarak, program a, program jom
https » http
1
Innehållsförteckning:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2013
Innehållsförteckning:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Hämta fulltext
Elektronisk
E-bok
3
4
Publicerad 2008
Innehållsförteckning:
“... of the Java Virtual Machine Using Dependent Types -- Dependently Sorted Logic -- Finiteness in a Minimalist...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2006
Innehållsförteckning:
“... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2012
Innehållsförteckning:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2006
Innehållsförteckning:
“...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”Hämta fulltext
Elektronisk
E-bok
8
Innehållsförteckning:
“... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
9
Innehållsförteckning:
“... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
10
Publicerad 2015
Innehållsförteckning:
“...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2014
Innehållsförteckning:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2005
Innehållsförteckning:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2013
Innehållsförteckning:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2008
Innehållsförteckning:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2014
Innehållsförteckning:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”Hämta fulltext
Elektronisk
E-bok
16
Innehållsförteckning:
“...Exploring JavaScript and MooTools -- JavaScript and MooTools -- Functions -- Objects -- Classes...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2006
Innehållsförteckning:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2005
Innehållsförteckning:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2011
Innehållsförteckning:
“...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2013
Innehållsförteckning:
“... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”Hämta fulltext
Elektronisk
E-bok