Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming decision » programming decisions, programming recursion, programming design
decision practices » design practices, revision practice, education practices
practices tools » practice tools, practical tools, practical tool
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming decision » programming decisions, programming recursion, programming design
decision practices » design practices, revision practice, education practices
practices tools » practice tools, practical tools, practical tool
1
Publicado 2008
Table of Contents:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2010
Table of Contents:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Ligazón do recurso
Electrónico
eBook
3
Table of Contents:
“...Discrete Problems -- Unidimensional Problems -- Multi-Criteria Decision Problems -- Uncertainty...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
4
por Kangas, Annika., Kangas, Annika., Kurttila, Mikko., Hujala, Teppo., Eyvindson, Kyle., Kangas, Jyrki.
Publicado 2015
Table of Contents:
“...1. Planning and Decision Support -- 2. Forest Management Planning -- 3. Single-Criteria Problems...”Publicado 2015
Ligazón do recurso
Electrónico
eBook
5
Publicado 2008
Table of Contents:
“...Agents 1 -- A Light-Weight Multi-Agent System Manages 802.11 Mesh Networks -- Decisions...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2005
Table of Contents:
“... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Ligazón do recurso
Electrónico
eBook
12
13
por Elsheikh, Ranya, Mohamed Shariff, Abdul Rashid, Amiri, Fazel, Ahmad, Noordin, Balasundram, Siva Kumar, Mohd Soom, Mohd Amin
Publicado 2013
“... realistic, practicable and functional systems. It is useful for decision makers to determine the quality...”Publicado 2013
Ligazón do recurso
Artigo
14
Publicado 2005
Table of Contents:
“...Keynote Papers -- Digitally Sponsored Convergence of Design Education, Research and Practice...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2010
Table of Contents:
“... from the Health Care Domain -- Decision-Making Ontology for Information System Engineering -- Reasoning...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2010
Table of Contents:
“... Architectural Knowledge Go? -- REST in Practice -- Full Research Papers -- An ADL-Approach to Specifying...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2006
Table of Contents:
“... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2007
Table of Contents:
“... Domain -- Designing Pervasive Brain-Computer Interfaces -- Medical Expert Systems and Decision Support...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2008
Table of Contents:
“... Frames -- The Human Web and the Domestication of the Networked Computer -- Evaluation of the Energy...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]