1
Izdano 2005
Kazalo: ... Beach County -- Bayesian Functional Estimation of Hazard Rates for Randomly Right Censored Data Using...
Polni tekst
Elektronski eKnjiga
2
Izdano 2015
Kazalo: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
Polni tekst
Elektronski eKnjiga
3
Izdano 2014
Kazalo: ... for Elliptic Curves in the Coq Proof Assistant -- Truly Modular (Co) data types for Isabelle/HOL -- Cardinals...
Polni tekst
Elektronski eKnjiga
4
Izdano 2007
Kazalo: ...-Connectivity -- Approximating the Maximum Sharing Problem -- The Stackelberg Minimum Spanning Tree Game...
Polni tekst
Elektronski eKnjiga
5
Izdano 2008
Kazalo: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Polni tekst
Elektronski eKnjiga
6
Izdano 2007
Kazalo: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
Polni tekst
Elektronski eKnjiga
7
Izdano 2007
Kazalo: ... Programming for Inverse Problem Solving -- Empirical Analysis of GP Tree-Fragments -- Empirical Comparison...
Polni tekst
Elektronski eKnjiga
8
Izdano 2008
Kazalo: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Polni tekst
Elektronski eKnjiga
9
Izdano 2014
Kazalo: ... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...
Polni tekst
Elektronski eKnjiga
10
Izdano 2015
Kazalo: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Polni tekst
Elektronski eKnjiga
11
Izdano 2005
Kazalo: ...Threat and Attacks -- Fraud Within Asymmetric Multi-hop Cellular Networks -- Protecting Secret Data...
Polni tekst
Elektronski eKnjiga
12
Izdano 2005
Kazalo: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
Polni tekst
Elektronski eKnjiga
13
Izdano 2005
Kazalo: ... -- Cartesian Genetic Programming and the Post Docking Filtering Problem -- Listening to Data: Tuning a Genetic...
Polni tekst
Elektronski eKnjiga
14
Izdano 2013
Kazalo: ... Spectrometry Data: A Genetic Programming Approach -- Structured Populations and the Maintenance of Sex...
Polni tekst
Elektronski eKnjiga
15
od Lee, Kent D., Lee, Kent D.
Izdano 2014
Kazalo: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Polni tekst
Elektronski eKnjiga
16
Izdano 2012
Kazalo: ... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...
Polni tekst
Elektronski eKnjiga
17
Kazalo: ...A Quick Tour of Silverlight 4 Development -- Application Design and Programming Model -- Developing...
Polni tekst
Elektronski eKnjiga
18
Izdano 2010
Kazalo: ... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...
Polni tekst
Elektronski eKnjiga
19
od Lee, Kent D., Lee, Kent D.
Izdano 2014
Teme: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Polni tekst
Elektronski eKnjiga
20
Izdano 2013
Kazalo: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Polni tekst
Elektronski eKnjiga