Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming reflection » programming reflecting, programming reaction, programming function
reflection https » infection https, reflection notes, reflection groups
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programming reflection » programming reflecting, programming reaction, programming function
reflection https » infection https, reflection notes, reflection groups
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Published 2008
Table of Contents:
“... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”View full text
Electronic
eBook
2
3
Published 2013
Table of Contents:
“... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...”View full text
Electronic
eBook
4
5
Published 2012
Table of Contents:
“... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... of Embedded Control Software -- Reflection Analysis for Java -- Lightweight Family Polymorphism -- A Portable...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
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
9
Table of Contents:
“... Java Compiler -- Optimizing Code with GCC -- Analyzing Code Produced with GCC Compilers -- Using...”
View full text
View full text
Electronic
eBook
10
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
11
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook
12
Table of Contents:
“... Design -- An Introduction to SQL -- SQL Recipes -- Access Administration and Security -- GIS Functions...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”View full text
Electronic
eBook