1
av STEMKOSKI, LEE., STEMKOSKI, LEE.
Publicerad 2015
Innehållsförteckning: ...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...
Hämta fulltext
Elektronisk E-bok
2
Innehållsförteckning: ... -- Understanding the DOM2 Core and DOM2 HTML -- Responding to User Actions and Events -- Dynamically Modifying...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2006
Innehållsförteckning: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2012
Innehållsförteckning: ... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2006
Innehållsförteckning: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2013
Innehållsförteckning: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
Hämta fulltext
Elektronisk E-bok