Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming decisions » programming decision, programming design, programming session
function computation » function computing, function decomposition, section computational
based tools » based tool, basic tools
programming decisions » programming decision, programming design, programming session
function computation » function computing, function decomposition, section computational
based tools » based tool, basic tools
1
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... for Data with Tolerance Using Kernel Function -- A Similarity Measure for Sequences of Categorical Data...”View full text
Electronic
eBook
3
by Saeed, Walid
Published 2005
Subjects:
“...Programming language(Electronic computer)...”Published 2005
View full text
Thesis
4
Published 2014
Table of Contents:
“... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Session 10: Program and Shape Analysis -- A Numerical Abstract Domain Based on Expression Abstraction...”View full text
Electronic
eBook
8
by Saeed, Walid
Published 2005
“.... The TIP model is based on translation of the discernibility relation of a Decision System (DS...”Published 2005
View full text
Thesis
9
Published 2010
Table of Contents:
“... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Abstraction for Markov Decision Processes -- Underapproximation for Model-Checking Based on Random...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“...Keynotes -- Software Architectures for Task-Oriented Computing -- An Active Architecture Approach...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Architectures -- Linking Design Decisions to Design Models in Model-Based Software Development -- Customer Value...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”View full text
Electronic
eBook