Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming decisions » programming decision, programming design, programming session
decisions based » decision based, decisions cases, decisions basic
based tools » based tool, basic tools
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming decisions » programming decision, programming design, programming session
decisions based » decision based, decisions cases, decisions basic
based tools » based tool, basic tools
1
Được phát hành 2008
Mục lục:
“...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2010
Mục lục:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2005
Mục lục:
“... Processes -- Decision Support -- Linking Quality Function Deployment and Conjoint Analysis for New Product...”lấy văn bản
Điện tử
eBook
4
Đượ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
5
Đượ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
6
Bằng Saeed, Walid
Được phát hành 2005
Những chủ đề:
“...Programming language(Electronic computer)...”Được phát hành 2005
lấy văn bản
Luận văn
7
Được phát hành 2008
Mục lục:
“... -- Session 10: Program and Shape Analysis -- A Numerical Abstract Domain Based on Expression Abstraction...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2010
Mục lục:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2005
Mục lục:
“... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”lấy văn bản
Điện tử
eBook
10
Đượ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
11
Được phát hành 2005
Mục lục:
“... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”lấy văn bản
Điện tử
eBook
12
Được phát hành 2014
Mục lục:
“... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”lấy văn bản
Điện tử
eBook
13
Được phát hành 2007
Mục lục:
“... Abstraction for Markov Decision Processes -- Underapproximation for Model-Checking Based on Random...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2015
Mục lục:
“... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2005
Mục lục:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”lấy văn bản
Điện tử
eBook
16
Đượ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
17
Được phát hành 2005
Mục lục:
“... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”lấy văn bản
Điện tử
eBook
18
Đượ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
19
Được phát hành 2008
Mục lục:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”lấy văn bản
Điện tử
eBook
20
Bằng Saeed, Walid
Được phát hành 2005
“.... The TIP model is based on translation of the discernibility relation of a Decision System (DS...”Được phát hành 2005
lấy văn bản
Luận văn
- 1
- 2
- 3
- 4
- Tiếp theo »
- [4]