1
Publié 2013
Table des matières: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Accéder au texte intégral
Électronique eBook
2
Publié 2014
Table des matières: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Accéder au texte intégral
Électronique eBook
3
Publié 2013
Table des matières: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Accéder au texte intégral
Électronique eBook
4
Publié 2013
Table des matières: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Accéder au texte intégral
Électronique eBook
5
Publié 2014
Table des matières: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Accéder au texte intégral
Électronique eBook
6
Publié 2008
Table des matières: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
Accéder au texte intégral
Électronique eBook
7
Publié 2015
Table des matières: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Accéder au texte intégral
Électronique eBook
8
Publié 2013
Table des matières: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Accéder au texte intégral
Électronique eBook
9
Publié 2014
Table des matières: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Accéder au texte intégral
Électronique eBook
10
Publié 2014
Table des matières: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Accéder au texte intégral
Électronique eBook
11
Publié 2013
Table des matières: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Accéder au texte intégral
Électronique eBook
12
Publié 2007
Table des matières: ... in Multiple Care-of Addresses MIPv6 with Parallel Delay Measurement Technique -- Self-organization...
Accéder au texte intégral
Électronique eBook