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