1
Được phát hành 2014
Mục lục: ... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...
lấy văn bản
Điện tử eBook
2
Đượ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
3
Bằng Chikalov, Igor., Chikalov, Igor.
Được phát hành 2011
Mục lục: ... Functions by Decision Trees -- 4 Algorithms for Decision Tree Construction -- 5 Problems Over Information...
lấy văn bản
Điện tử eBook
4
Được phát hành 2012
Mục lục: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
lấy văn bản
Điện tử eBook
5
Được phát hành 2010
Mục lục: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
lấy văn bản
Điện tử eBook
6
Được phát hành 2015
Mục lục: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
lấy văn bản
Điện tử eBook
7
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
8
Được phát hành 2011
Mục lục: ... Model for Test Equating (George Karabatsos and Stephen G. Walker) -- Generalized Equating Functions...
lấy văn bản
Điện tử eBook
9
Được phát hành 2005
Mục lục: ... -- Contributed Papers -- Probabilistic Space Partitioning in Constraint Logic Programming -- Chi-Square Matrix...
lấy văn bản
Điện tử eBook
10
Được phát hành 2008
Mục lục: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
lấy văn bản
Điện tử eBook
11
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
12
Bằng Alborzinia, Hamed., Alborzinia, Hamed.
Được phát hành 2015
Những chủ đề: ...Cancer Research. https://scigraph.springernature.com/ontologies/product-market-codes/B11001...
lấy văn bản
Điện tử eBook
13
Được phát hành 2014
Mục lục: ... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...
lấy văn bản
Điện tử eBook
14
Mục lục: ...Building models for markets -- Model specification -- Data -- Estimation and testing -- Validation...
lấy văn bản
Điện tử eBook
15
Được phát hành 2008
Mục lục: ...Keynote -- Rethinking the Use of Models in Software Architecture -- Architectural Design Decisions...
lấy văn bản
Điện tử eBook
16
Bằng Luderer, Bernd., Luderer, Bernd., Nollau, Volker., Vetters, Klaus.
Được phát hành 2005
Mục lục: ... -- Combinatorial Analysis -- Sequences and Series -- Mathematics of Finance -- Functions of one Independent...
lấy văn bản
Điện tử eBook
17
Được phát hành 2015
Mục lục: ...Regional Location Decision for Thai Garment Industry; Walailak Atthirawong, Wariya Panprung -- Key...
lấy văn bản
Điện tử eBook
18
Được phát hành 2008
Mục lục: ... Programming: A Decision Analysis Approach for Collaborative Manufacturing -- Nonlinear Programming Based...
lấy văn bản
Điện tử eBook
19
Mục lục: ... -- Testing Spring MVC Applications -- to Spring Web Flow -- Advanced Spring Web Flow....
lấy văn bản
Điện tử eBook
20
Được phát hành 2010
Mục lục: ... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...
lấy văn bản
Điện tử eBook