1
Wydane 2010
Spis treści: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2010
Spis treści: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2005
Spis treści: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2015
Spis treści: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2014
Spis treści: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2005
Spis treści: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2010
Spis treści: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2008
Spis treści: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2005
Spis treści: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2014
Spis treści: ... -- Skeletonizing Digital Images with Cellular Automata -- Image Processing Algorithms Implementation Using Quantum...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Hasła przedmiotowe: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2014
Spis treści: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2005
Spis treści: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2007
Spis treści: ... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2010
Spis treści: ... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2006
Spis treści: ... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2010
Spis treści: ... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2008
Spis treści: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2010
Spis treści: ...-Dimensional Flows in a High Pressure Turbine -- Application of Parallel Processing to the Simulation of Heart...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Wydane 2006
Spis treści: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Dokumenty pełnotekstowe
Elektroniczne E-book