1
by Obcena, Mark., Obcena, Mark.
Published 2010
Table of Contents: ...Exploring JavaScript and MooTools -- JavaScript and MooTools -- Functions -- Objects -- Classes...
View full text
Electronic eBook
2
by Barker, Philip., Barker, Philip.
Published 2007
Table of Contents: ... Derivatives -- Conditional Options -- Complex Conditional Options -- Barrier Type Options -- Double Barrier...
View full text
Electronic eBook
3
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
4
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
5
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
6
Published 2012
Table of Contents: ... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...
View full text
Electronic eBook
7
Subjects: ...Computer programming....
View full text
Electronic eBook
8
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
9
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based...
View full text
Electronic eBook
12
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
13
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
14
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... Processing To Extract poly(A) Sites -- Analysis of poly(A) Site Choice Using A Java-Based Clustering...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...
View full text
Electronic eBook
17
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
18
Published 2010
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Notion of Unsatisfiable Cores for LTL -- Rule Formats for Determinism and Idempotence -- The Complexity...
View full text
Electronic eBook