1
Mục lục: ... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...
lấy văn bản
Điện tử eBook
2
Được phát hành 2015
Mục lục: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
lấy văn bản
Điện tử eBook
3
Được phát hành 2014
Mục lục: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
lấy văn bản
Điện tử eBook
4
Được phát hành 2011
Mục lục: ... Programs -- Stochastic Calculus and Stochastic Simulation -- Genomic Sequence Comparison -- Genome...
lấy văn bản
Điện tử eBook
5
Được phát hành 2008
Mục lục: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
lấy văn bản
Điện tử eBook
6
Được phát hành 2014
Mục lục: ... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...
lấy văn bản
Điện tử eBook
7
Được phát hành 2015
Mục lục: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
lấy văn bản
Điện tử eBook
8
Được phát hành 2015
Mục lục: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
lấy văn bản
Điện tử eBook
9
Được phát hành 2007
Mục lục: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
lấy văn bản
Điện tử eBook
10
Bằng Lee, Kent D., Lee, Kent D.
Được phát hành 2011
Mục lục: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
lấy văn bản
Điện tử eBook
11
Bằng Lee, Kent D., Lee, Kent D.
Được phát hành 2014
Những chủ đề: ...Programming languages (Electronic computers)....
lấy văn bản
Điện tử eBook
12
Được phát hành 2010
Mục lục: ...-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties...
lấy văn bản
Điện tử eBook
13
Được phát hành 2008
Mục lục: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
lấy văn bản
Điện tử eBook
14
Được phát hành 2008
Mục lục: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
lấy văn bản
Điện tử eBook
15
Được phát hành 2007
Mục lục: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
lấy văn bản
Điện tử eBook
16
Được phát hành 2007
Mục lục: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
lấy văn bản
Điện tử eBook
17
Được phát hành 2006
Mục lục: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
lấy văn bản
Điện tử eBook
18
Được phát hành 2005
Mục lục: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
lấy văn bản
Điện tử eBook
19
Bằng Lee, Kent D., Lee, Kent D.
Được phát hành 2014
Mục lục: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
lấy văn bản
Điện tử eBook
20
Được phát hành 2008
Mục lục: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
lấy văn bản
Điện tử eBook