Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
functionality computing » functionality combining, function computing, functionality using
programmed reduction » programme production, programmes education, programmed introduction
https functionality » its functionality, bags functionality, cross functionality
reduction https » production https, education https, education http
1
Obálka
Vydáno 2010
Obsah: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2005
Obsah: “..., Effective Code-Size Reduction for Functional Programs....”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2008
Obsah: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
4
Obálka
Autor Buljak, Vladimir., Buljak, Vladimir.
Vydáno 2012
Obsah: “... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
5
Obálka
Vydáno 2010
Obsah: “... for Computer Analysis of Spheroidal Quantum Dot Models -- On Reduction of Lagrange Systems -- Series...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
6
Obálka
Vydáno 2007
Obsah: “... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
7
Obálka
Autor Kluge, Werner., Kluge, Werner.
Vydáno 2005
Obsah: “...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
8
Obálka
Vydáno 2014
Obsah: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
9
Obálka
Vydáno 2015
Obsah: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
10
Obálka
Vydáno 2006
Obsah: “... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
11
Obálka
Vydáno 2013
Obsah: “... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
12
Obálka
Obsah: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
13
Obálka
Vydáno 2010
Obsah: “...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
14
Obálka
Vydáno 2006
Obsah: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
15
Obálka
Vydáno 2010
Obsah: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
16
Obálka
Vydáno 2010
Obsah: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
17
Obálka
Vydáno 2005
Obsah: “... -- Streams with a Bottom in Functional Languages -- Bottom-Up ?-Reduction: Uplinks and ?-DAGs -- BI...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
18
Obálka
Vydáno 2010
Obsah: “...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
19
Obálka
Vydáno 2008
Obsah: “... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
20
Obálka
Vydáno 2014
Obsah: “... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání