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
Table of Contents: ...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...
View full text
Electronic eBook
3
Table of Contents: ... -- The Processing Pipeline -- The Controller Menagerie -- The View Layer -- Supported View Types -- Validation...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... -- The Effect of Entity Generalization on Software Functional Sizing: A Case Study -- Towards a Capability Model...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
View full text
Electronic eBook
11
Table of Contents: ... process -- Appendix B: Functional Javascript -- Appendix C: ES6 Primer....
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
View full text
Electronic eBook
14
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
15
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
View full text
Electronic eBook