1
Vydáno 2005
Obsah: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2013
Obsah: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2010
Obsah: ...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2010
Obsah: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2008
Obsah: ... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2010
Obsah: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Získat plný text
Elektronický zdroj E-kniha
7
Témata: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2010
Obsah: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
Získat plný text
Elektronický zdroj E-kniha
9
Autor Sharan, Kishori., Sharan, Kishori.
Vydáno 2014
Témata: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2008
Obsah: ... Defects in Software Using Grammar-Guided Genetic Programming -- A Clustering Framework to Build Focused...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2007
Obsah: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2010
Obsah: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2005
Obsah: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Získat plný text
Elektronický zdroj E-kniha
14
Obsah: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2012
Obsah: ... Algorithm for Parameter Identification of Bioprocess Models.-A General Frame for Building Optimal Multiple...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2010
Obsah: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2010
Obsah: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2010
Obsah: ... -- LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation -- FGb: A Library...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2014
Obsah: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2005
Obsah: ... -- Theory-Building with System Dynamics: Principles and Practices -- Ontology Integration for Statistical...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání