1
יצא לאור 2010
תוכן הענינים: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2011
נושאים: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2013
תוכן הענינים: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2007
תוכן הענינים: ... Models and Orthomax Rotations -- A Fully 3D System for Cardiac Wall Deformation Analysis in MRI Data...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2013
תוכן הענינים: ... are Parallel Connections better than Series Connections -- Optimization of Carrier Harvest in Meg Based Hybrid...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
תוכן הענינים: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
תוכן הענינים: ...-Processing -- Parallelization of PUF Cells -- Pre-Selection -- PUF Biasing -- Two Stage PUF -- PUF...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2007
תוכן הענינים: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
מאת Levitin, Gregory., Levitin, Gregory.
יצא לאור 2005
תוכן הענינים: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2012
נושאים: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
מאת Serakos, Demetrios., Serakos, Demetrios.
יצא לאור 2015
תוכן הענינים: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
מאת Bronstein, Manuel., Bronstein, Manuel.
יצא לאור 2005
תוכן הענינים: ... Problems -- The Coupled Differential System -- Structure Theorems -- Parallel Integration....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2014
תוכן הענינים: ... -- Distributed parallel processing in retinal amacrine cells -- Dendritic computation of direction in retinal...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים: ... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
מאת Briot, Sébastien., Briot, Sébastien., Khalil, Wisama.
יצא לאור 2015
תוכן הענינים: ... -- 10.3 Dynamic model of virtual flexible systems -- 10.4 Dynamic model of a flexible parallel robot...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים: ... -- On Semilinear Hyperbolic Functional Equations -- A Fast Parallel Algorithm for Delay Partial Differential...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ... in Tiered Storage System -- Session 2: Parallel Algorithms -- Scale-Adaptable Recrawl Strategies for DHT...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני