Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
program executions » program execution, program evalution, program evolution
function computer » functions computer, functional computer, function computing
executions java » executions law, execution data, executives japan
https » http
program executions » program execution, program evalution, program evolution
function computer » functions computer, functional computer, function computing
executions java » executions law, execution data, executives japan
https » http
1
Indholdsfortegnelse:
“...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
2
Indholdsfortegnelse:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
3
Udgivet 2012
Indholdsfortegnelse:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2005
Indholdsfortegnelse:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2006
Indholdsfortegnelse:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2015
Indholdsfortegnelse:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2015
Indholdsfortegnelse:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2007
Indholdsfortegnelse:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2006
Indholdsfortegnelse:
“... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2012
Indholdsfortegnelse:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Indholdsfortegnelse:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2015
Indholdsfortegnelse:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2008
Indholdsfortegnelse:
“... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“...Keynote -- Dynamic Software Adaptation: Middleware for Pervasive Computing -- Middleware Services...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2010
Indholdsfortegnelse:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”Få fuldtekst
Electronisk
eBog
20