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