1
Izdano 2006
Kazalo: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Polni tekst
Elektronski eKnjiga
2
Izdano 2010
Kazalo: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Polni tekst
Elektronski eKnjiga
3
Izdano 2013
Kazalo: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Polni tekst
Elektronski eKnjiga
4
Izdano 2005
Kazalo: ...Inverse Scattering with Rational Scattering Coefficients and Wave Propagation in Nonhomogeneous...
Polni tekst
Elektronski eKnjiga
5
Izdano 2006
Kazalo: ... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...
Polni tekst
Elektronski eKnjiga
6
Izdano 2010
Kazalo: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
Polni tekst
Elektronski eKnjiga
7
Izdano 2006
Kazalo: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
Polni tekst
Elektronski eKnjiga
8
Izdano 2012
Kazalo: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Polni tekst
Elektronski eKnjiga
9
Izdano 2010
Kazalo: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Polni tekst
Elektronski eKnjiga
10
Izdano 2014
Kazalo: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Polni tekst
Elektronski eKnjiga
11
Izdano 2007
Kazalo: ... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...
Polni tekst
Elektronski eKnjiga
12
Izdano 2008
Kazalo: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Polni tekst
Elektronski eKnjiga
13
Izdano 2005
Kazalo: ... Equilibria with Leontief’s Utility: Freedom of Pricing Leads to Rationality -- A Primal-Dual Algorithm...
Polni tekst
Elektronski eKnjiga