1
Argitaratua 2013
Aurkibidea: ... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2010
Aurkibidea: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2013
Aurkibidea: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2010
Aurkibidea: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2005
Aurkibidea: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2014
Aurkibidea: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
10
Aurkibidea: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2012
Aurkibidea: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2005
Aurkibidea: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2006
Aurkibidea: ... -- An Integrated Software Development Environment for Web Applications -- Parallel and Distributed Computing...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2013
Aurkibidea: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2010
Aurkibidea: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2005
Aurkibidea: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Testu osoa
Baliabide elektronikoa eBook
17
Gaiak: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testu osoa
Baliabide elektronikoa eBook
18
Aurkibidea: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2013
Aurkibidea: ... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2014
Aurkibidea: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Testu osoa
Baliabide elektronikoa eBook