1
Bằng Kall, Peter., Kall, Peter., Mayer, János.
Được phát hành 2005
Mục lục: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...
lấy văn bản
Điện tử eBook
3
Bằng Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Được phát hành 2012
Mục lục: ... FDiversity -- 4.1.2 Data Menu -- 4.1.3 Statistics and Output Menus -- 4.2 Case study: Changes in Functional...
lấy văn bản
Điện tử eBook
4
Được phát hành 2005
Mục lục: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
lấy văn bản
Điện tử eBook
5
Được phát hành 2013
Mục lục: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
lấy văn bản
Điện tử eBook
6
Được phát hành 2014
Mục lục: ... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...
lấy văn bản
Điện tử eBook
7
Được phát hành 2007
Mục lục: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
lấy văn bản
Điện tử eBook
8
Được phát hành 2008
Mục lục: ...-Way Function Based on an Average-Case Assumption -- On Characteristic Constants of Theories Defined...
lấy văn bản
Điện tử eBook
9
Được phát hành 2012
Mục lục: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
lấy văn bản
Điện tử eBook
10
Được phát hành 2010
Mục lục: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
lấy văn bản
Điện tử eBook
11
Được phát hành 2015
Mục lục: ...Swarm Intelligence and Evolutionary Computation: Overview and Analysis -- Globally convergent...
lấy văn bản
Điện tử eBook
12
Được phát hành 2012
Mục lục: ... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...
lấy văn bản
Điện tử eBook
13
Được phát hành 2008
Mục lục: ... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...
lấy văn bản
Điện tử eBook
14
Được phát hành 2015
Mục lục: ... Test Cases Minimization for Object Oriented Programs....
lấy văn bản
Điện tử eBook
15
Được phát hành 2015
Mục lục: ... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...
lấy văn bản
Điện tử eBook
16
Được phát hành 2014
Mục lục: ... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...
lấy văn bản
Điện tử eBook
17
Được phát hành 2008
Mục lục: ...-Computing Methods on Abnormalities in Audio Data -- Bioinformatics -- Shadowed Clustering for Speech Data...
lấy văn bản
Điện tử eBook
18
Được phát hành 2012
Mục lục: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
lấy văn bản
Điện tử eBook
19
Được phát hành 2013
Mục lục: ... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...
lấy văn bản
Điện tử eBook
20
Được phát hành 2007
Mục lục: ...: Three Case Studies -- Evolutionary Algorithms for Combinatorial Problems in the Uncertain Environment...
lấy văn bản
Điện tử eBook