Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programmed reduction » programme production, programmes education, programmed introduction
function computing » education computing, generation computing
reduction https » production https, education https, education http
https function » its function, sites function, ups function
programmed reduction » programme production, programmes education, programmed introduction
function computing » education computing, generation computing
reduction https » production https, education https, education http
https function » its function, sites function, ups function
1
Julkaistu 2010
Sisällysluettelo:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“..., Effective Code-Size Reduction for Functional Programs....”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2008
Sisällysluettelo:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Hae kokoteksti
Elektroninen
E-kirja
4
Sisällysluettelo:
“... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2010
Sisällysluettelo:
“... for Computer Analysis of Spheroidal Quantum Dot Models -- On Reduction of Lagrange Systems -- Series...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2007
Sisällysluettelo:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”Hae kokoteksti
Elektroninen
E-kirja
7
Sisällysluettelo:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2014
Sisällysluettelo:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2015
Sisällysluettelo:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2006
Sisällysluettelo:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2013
Sisällysluettelo:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Hae kokoteksti
Elektroninen
E-kirja
12
Sisällysluettelo:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2010
Sisällysluettelo:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2006
Sisällysluettelo:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2010
Sisällysluettelo:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2010
Sisällysluettelo:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Hae kokoteksti
Elektroninen
E-kirja
17
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Julkaistu 2005
Sisällysluettelo:
“... -- Streams with a Bottom in Functional Languages -- Bottom-Up ?-Reduction: Uplinks and ?-DAGs -- BI...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2010
Sisällysluettelo:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2008
Sisällysluettelo:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2014
Sisällysluettelo:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Hae kokoteksti
Elektroninen
E-kirja