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