1
Udgivet 2013
Indholdsfortegnelse: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Få fuldtekst
Electronisk eBog
2
Udgivet 2013
Indholdsfortegnelse: ... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...
Få fuldtekst
Electronisk eBog
3
Udgivet 2006
Indholdsfortegnelse: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Få fuldtekst
Electronisk eBog
4
Fag: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... of Industrial Simulation Codes from HPC Environments to New Hardware Technologies -- Application of Parallel...
Få fuldtekst
Electronisk eBog
7
Fag: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Få fuldtekst
Electronisk eBog
9
Udgivet 2014
Indholdsfortegnelse: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ...Performance Engineering -- Automating Performance Analysis from Taverna Workflows -- An Empirical...
Få fuldtekst
Electronisk eBog
11
Udgivet 2013
Indholdsfortegnelse: ...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...
Få fuldtekst
Electronisk eBog
12
Udgivet 2008
Indholdsfortegnelse: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Få fuldtekst
Electronisk eBog
13
Udgivet 2013
Indholdsfortegnelse: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Få fuldtekst
Electronisk eBog
14
Udgivet 2008
Indholdsfortegnelse: ...Query Processing Over The Grid: The Role Of Workflow Management -- From Orc Models To Distributed...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
Få fuldtekst
Electronisk eBog
16
Udgivet 2015
Indholdsfortegnelse: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Få fuldtekst
Electronisk eBog
17
Udgivet 2013
Indholdsfortegnelse: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Få fuldtekst
Electronisk eBog
18
Udgivet 2014
Indholdsfortegnelse: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
Få fuldtekst
Electronisk eBog
19
Udgivet 2006
Indholdsfortegnelse: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Få fuldtekst
Electronisk eBog