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: ... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...
Polni tekst
Elektronski eKnjiga
4
Izdano 2012
Kazalo: ....-Interpolation of Curvature and Torsion Using Expo-Rational B-Splines.-Hermite Interpolation Using ERBS...
Polni tekst
Elektronski eKnjiga
5
Izdano 2010
Kazalo: ... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...
Polni tekst
Elektronski eKnjiga
6
Izdano 2014
Kazalo: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Polni tekst
Elektronski eKnjiga
7
Izdano 2008
Kazalo: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Polni tekst
Elektronski eKnjiga
8
Izdano 2005
Kazalo: ... Equilibria with Leontief’s Utility: Freedom of Pricing Leads to Rationality -- A Primal-Dual Algorithm...
Polni tekst
Elektronski eKnjiga
9
Izdano 2007
Kazalo: ... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...
Polni tekst
Elektronski eKnjiga