1
Wydane 2015
Spis treści: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2010
Spis treści: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2010
Spis treści: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2005
Spis treści: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2006
Spis treści: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2014
Spis treści: ... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2010
Spis treści: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2008
Spis treści: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2010
Spis treści: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2010
Spis treści: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2014
Hasła przedmiotowe: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Hasła przedmiotowe: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2010
Spis treści: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2010
Spis treści: ... -- A Personalized CALL System Considering Users Cognitive Abilities -- Autonomic Resources Management...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2008
Spis treści: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2005
Spis treści: ... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...
Dokumenty pełnotekstowe
Elektroniczne E-book