Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
functionalities state » functionality state, functionalities active, functionalities based
https functionalities » gps functionalities, dys functionalities, systems functionalities
program computing » program comparing, programs compiling, problem computing
functionalities state » functionality state, functionalities active, functionalities based
https functionalities » gps functionalities, dys functionalities, systems functionalities
program computing » program comparing, programs compiling, problem computing
1
Izdano 2006
Kazalo:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2013
Kazalo:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Polni tekst
Elektronski
eKnjiga
3
Kazalo:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
4
Izdano 2012
Kazalo:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Polni tekst
Elektronski
eKnjiga
5
Kazalo:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
6
Izdano 2015
Kazalo:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Polni tekst
Elektronski
eKnjiga
7
Izdano 2008
Kazalo:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Polni tekst
Elektronski
eKnjiga
8
Izdano 2006
Kazalo:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Polni tekst
Elektronski
eKnjiga
9
Izdano 2010
Kazalo:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Polni tekst
Elektronski
eKnjiga
10
Izdano 2007
Kazalo:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Polni tekst
Elektronski
eKnjiga
11
Izdano 2015
Kazalo:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Polni tekst
Elektronski
eKnjiga
12
Izdano 2015
Kazalo:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Polni tekst
Elektronski
eKnjiga
13
Izdano 2006
Kazalo:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”Polni tekst
Elektronski
eKnjiga
14
Izdano 2013
Kazalo:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Polni tekst
Elektronski
eKnjiga
15
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Izdano 2014
Kazalo:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Polni tekst
Elektronski
eKnjiga
16
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Izdano 2010
Kazalo:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Polni tekst
Elektronski
eKnjiga
17
Izdano 2010
Kazalo:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Polni tekst
Elektronski
eKnjiga
18
Kazalo:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
19
Kazalo:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
20
Izdano 2008
Kazalo:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”Polni tekst
Elektronski
eKnjiga