1
by STEMKOSKI, LEE., STEMKOSKI, LEE.
Published 2015
Table of Contents: ...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...
View full text
Electronic eBook
6
Table of Contents: ... -- Understanding the DOM2 Core and DOM2 HTML -- Responding to User Actions and Events -- Dynamically Modifying...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
View full text
Electronic eBook
12
Subjects: ...Natural Language Processing (NLP). https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook