1
Udgivet 2010
Indholdsfortegnelse: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Få fuldtekst
Electronisk eBog
3
Udgivet 2013
Indholdsfortegnelse: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Få fuldtekst
Electronisk eBog
4
Fag: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
5
Udgivet 2014
Indholdsfortegnelse: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Få fuldtekst
Electronisk eBog
6
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
7
Udgivet 2012
Indholdsfortegnelse: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
Få fuldtekst
Electronisk eBog
8
Udgivet 2013
Indholdsfortegnelse: ...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... of Interests -- Publishing Math Lecture Notes as Linked Data -- GoNTogle: A Tool for Semantic Annotation...
Få fuldtekst
Electronisk eBog
10
Udgivet 2006
Indholdsfortegnelse: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
Få fuldtekst
Electronisk eBog
11
Udgivet 2005
Indholdsfortegnelse: ...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...
Få fuldtekst
Electronisk eBog