Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
computing program » comparing programs, computing progress, computer program
program execution » program evaluation, process execution, project execution
execution java » execution data, execution a, execution jpf
https » http
function computing » education computing, generation computing
computing program » comparing programs, computing progress, computer program
program execution » program evaluation, process execution, project execution
execution java » execution data, execution a, execution jpf
https » http
1
Table of Contents:
“...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Keynote -- Dynamic Software Adaptation: Middleware for Pervasive Computing -- Middleware Services...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook