Rezultati - parallel rational program functionality function https*

Poišči alternative:
functionality function » functionals function , functionaries function , functional functions
program functionality » protein functionality , programs functional , supra functionality
parallel rational » parallel relational , parallel functional , parallel reactions
rational program » national program , national programs , national programme
function https » functions https , fiction https

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Izdano 2006

Kazalo: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Polni tekst

Elektronski eKnjiga

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Izdano 2010

Kazalo: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Izdano 2013

Kazalo: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Polni tekst

Elektronski eKnjiga

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Izdano 2005

Kazalo: “...Inverse Scattering with Rational Scattering Coefficients and Wave Propagation in Nonhomogeneous...”
Polni tekst

Elektronski eKnjiga

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Izdano 2006

Kazalo: “... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...”
Polni tekst

Elektronski eKnjiga

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Izdano 2010

Kazalo: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Polni tekst

Elektronski eKnjiga

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Izdano 2006

Kazalo: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
Polni tekst

Elektronski eKnjiga

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Izdano 2012

Kazalo: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Polni tekst

Elektronski eKnjiga

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Izdano 2010

Kazalo: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Polni tekst

Elektronski eKnjiga

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Izdano 2014

Kazalo: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Polni tekst

Elektronski eKnjiga

Algorithmic Learning Theory 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings /

Izdano 2007

Kazalo: “... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...”
Polni tekst

Elektronski eKnjiga

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Izdano 2008

Kazalo: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Polni tekst

Elektronski eKnjiga

Internet and Network Economics First International Workshop, WINE 2005, Hong Kong, China, December 15-17, 2005, Proceedings /

Izdano 2005

Kazalo: “... Equilibria with Leontief’s Utility: Freedom of Pricing Leads to Rationality -- A Primal-Dual Algorithm...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje