Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming decisions » programming decision, programming design, programming session
decisions practical » dimensions practical, directions practical, relations practical
practical tools » practical tips, analytical tools
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming decisions » programming decision, programming design, programming session
decisions practical » dimensions practical, directions practical, relations practical
practical tools » practical tips, analytical tools
1
Publicado 2008
Tabla de Contenidos:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”Enlace del recurso
Electrónico
eBook
2
Publicado 2010
Tabla de Contenidos:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Enlace del recurso
Electrónico
eBook
3
Tabla de Contenidos:
“...Discrete Problems -- Unidimensional Problems -- Multi-Criteria Decision Problems -- Uncertainty...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
4
por Kangas, Annika., Kangas, Annika., Kurttila, Mikko., Hujala, Teppo., Eyvindson, Kyle., Kangas, Jyrki.
Publicado 2015
Tabla de Contenidos:
“...1. Planning and Decision Support -- 2. Forest Management Planning -- 3. Single-Criteria Problems...”Publicado 2015
Enlace del recurso
Electrónico
eBook
5
Publicado 2008
Tabla de Contenidos:
“...Agents 1 -- A Light-Weight Multi-Agent System Manages 802.11 Mesh Networks -- Decisions...”Enlace del recurso
Electrónico
eBook
6
Publicado 2007
Tabla de Contenidos:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Enlace del recurso
Electrónico
eBook
7
Publicado 2010
Tabla de Contenidos:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”Enlace del recurso
Electrónico
eBook
8
Publicado 2010
Tabla de Contenidos:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”Enlace del recurso
Electrónico
eBook
9
Publicado 2005
Tabla de Contenidos:
“... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”Enlace del recurso
Electrónico
eBook
10
Publicado 2015
Tabla de Contenidos:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Enlace del recurso
Electrónico
eBook
11
Publicado 2005
Tabla de Contenidos:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Enlace del recurso
Electrónico
eBook
12
13
Publicado 2010
Tabla de Contenidos:
“... from the Health Care Domain -- Decision-Making Ontology for Information System Engineering -- Reasoning...”Enlace del recurso
Electrónico
eBook
14
Publicado 2005
Tabla de Contenidos:
“...Keynote Papers -- Digitally Sponsored Convergence of Design Education, Research and Practice...”Enlace del recurso
Electrónico
eBook
15
Publicado 2010
Tabla de Contenidos:
“... Architectural Knowledge Go? -- REST in Practice -- Full Research Papers -- An ADL-Approach to Specifying...”Enlace del recurso
Electrónico
eBook
16
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
Enlace del recurso
Artículo
17
Publicado 2008
Tabla de Contenidos:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Enlace del recurso
Electrónico
eBook
18
Publicado 2006
Tabla de Contenidos:
“... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”Enlace del recurso
Electrónico
eBook
19
Publicado 2007
Tabla de Contenidos:
“... Domain -- Designing Pervasive Brain-Computer Interfaces -- Medical Expert Systems and Decision Support...”Enlace del recurso
Electrónico
eBook
20
Publicado 2008
Tabla de Contenidos:
“... Frames -- The Human Web and the Domestication of the Networked Computer -- Evaluation of the Energy...”Enlace del recurso
Electrónico
eBook
- 1
- 2
- Siguiente »
- [2]