1
Được phát hành 2015
Mục lục: ... Checking of Threshold-Based Distributed Algorithms -- Skipping Refinement -- Quantitative Reasoning...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... Listed Companies Based on DEA -- Fuzzy Logic and Soft Computing -- Research on Differential Evolution...
lấy văn bản
Điện tử eBook
3
Được phát hành 2007
Mục lục: ... in Remote Sensing Information Analysis and Service Grid Node -- Density Based Fuzzy Membership Functions...
lấy văn bản
Điện tử eBook
4
Được phát hành 2007
Mục lục: ... for Clothing Thermal Functional Performance -- A Question Understanding Model Based on Knowledge Points...
lấy văn bản
Điện tử eBook
5
Được phát hành 2007
Mục lục: ... and Reliable Execution of Legacy Codes Exposed as Services -- Provenance Provisioning in Mobile Agent-Based...
lấy văn bản
Điện tử eBook
6
Được phát hành 2007
Mục lục: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
lấy văn bản
Điện tử eBook
7
Được phát hành 2010
Mục lục: ... Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...
lấy văn bản
Điện tử eBook
9
Được phát hành 2010
Mục lục: ... Multi-Agent System -- Modeling Super Mirroring Functionality in Action Execution, Imagination, Mirroring...
lấy văn bản
Điện tử eBook
10
Bằng Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
Được phát hành 2007
Mục lục: ... Parameters -- A Comparison with Tree-Based Genetic Programming -- Advanced Techniques and Phenomena...
lấy văn bản
Điện tử eBook
11
Được phát hành 2010
Mục lục: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
lấy văn bản
Điện tử eBook
12
Được phát hành 2014
Mục lục: ... Execution in Computational Grid -- A Comparative Analysis of Keyword Based and Semantic Based Search Engines...
lấy văn bản
Điện tử eBook
13
Được phát hành 2010
Mục lục: ... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...
lấy văn bản
Điện tử eBook
14
Được phát hành 2010
Mục lục: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
lấy văn bản
Điện tử eBook
15
Được phát hành 2015
Mục lục: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
lấy văn bản
Điện tử eBook
16
Được phát hành 2006
Mục lục: ... for Logic Program Execution Time Estimation -- Towards Region-Based Memory Management for Mercury Programs...
lấy văn bản
Điện tử eBook
17
Bằng Garib, Sarmad Makki Mohammed
Được phát hành 2019
Những chủ đề: ...Cluster analysis - Computer programs...
lấy văn bản
Luận văn
18
Được phát hành 2010
Mục lục: ... to SAT-Based Approaches for Bit-Vectors -- Satisfiability Modulo the Theory of Costs: Foundations...
lấy văn bản
Điện tử eBook
19
Bằng Raynal, Michel., Raynal, Michel.
Được phát hành 2013
Mục lục: ...Part I  Distributed Graph Algorithms -- Chap. 1  Base Definitions and Network Traversal Algorithms...
lấy văn bản
Điện tử eBook
20
Được phát hành 2013
Mục lục: ... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...
lấy văn bản
Điện tử eBook