Rezultati - program computing https functionals bounded https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Izdano 2006

Kazalo: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Polni tekst

Elektronski eKnjiga

2

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Izdano 2010

Kazalo: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Polni tekst

Elektronski eKnjiga

3

Upper and Lower Bounds for Stochastic Processes Modern Methods and Classical Problems /

od Talagrand, Michel., Talagrand, Michel.
Izdano 2014

Kazalo: “... Processes -- 6. Trees and the Art of Lower Bounds -- 7. Random Fourier Series and Trigonometric Sums, II...”
Polni tekst

Elektronski eKnjiga

4

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

od Horváth, Zoltán., Horváth, Zoltán.
Izdano 2006

Kazalo: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
Polni tekst

Elektronski eKnjiga

5

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Izdano 2013

Kazalo: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Polni tekst

Elektronski eKnjiga

6

Boolean Function Complexity Advances and Frontiers /

od Jukna, Stasys., Jukna, Stasys.
Izdano 2012

Kazalo: “...Part I Basics -- Part II Communication Complexity -- Part III Circuit Complexity -- Part IV Bounded...”
Polni tekst

Elektronski eKnjiga

7

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Izdano 2008

Kazalo: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Polni tekst

Elektronski eKnjiga

8

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Izdano 2006

Kazalo: “... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”
Polni tekst

Elektronski eKnjiga

9

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Izdano 2008

Kazalo: “... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”
Polni tekst

Elektronski eKnjiga

10

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Izdano 2008

Kazalo: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Polni tekst

Elektronski eKnjiga

11

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Izdano 2007

Kazalo: “... -- Bounds for Real Roots and Applications to Orthogonal Polynomials -- Distance Computation from...”
Polni tekst

Elektronski eKnjiga

12

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

Izdano 2006

Kazalo: “... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”
Polni tekst

Elektronski eKnjiga

13

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Izdano 2015

Kazalo: “...-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity...”
Polni tekst

Elektronski eKnjiga

14

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Izdano 2014

Kazalo: “... Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky...”
Polni tekst

Elektronski eKnjiga

15

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Izdano 2006

Kazalo: “... Expected Degrees -- Embedding Bounded Bandwidth Graphs into ?1 -- On Counting Homomorphisms to Directed...”
Polni tekst

Elektronski eKnjiga

16

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Izdano 2015

Kazalo: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Polni tekst

Elektronski eKnjiga

17

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Izdano 2010

Kazalo: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Polni tekst

Elektronski eKnjiga

18

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Izdano 2007

Kazalo: “... Constraint Languages -- Affine Systems of Equations and Counting Infinitary Logic -- Boundedness of Monadic...”
Polni tekst

Elektronski eKnjiga

19

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Izdano 2010

Kazalo: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Polni tekst

Elektronski eKnjiga

20

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Izdano 2007

Kazalo: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje