1
Julkaistu 2012
Sisällysluettelo: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
Hae kokoteksti
Elektroninen E-kirja
2
3
Tekijä Saeed, Walid
Julkaistu 2005
Aiheet: ...Programming language(Electronic computer)...
Hae kokoteksti
Opinnäyte
4
Tekijä Saeed, Walid
Julkaistu 2005
... of such knowledge. These tools are known as Data Mining (DM). One aims of DM is to discover decision rules...
Hae kokoteksti
Opinnäyte
5
Julkaistu 2008
Sisällysluettelo: ... -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ... About Metric and Topology -- The QBFEVAL Web Portal -- A Slicing Tool for Lazy Functional Logic Programs...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2007
Sisällysluettelo: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hae kokoteksti
Elektroninen E-kirja
8
Tekijä Hazrat, Roozbeh., Hazrat, Roozbeh.
Julkaistu 2010
Sisällysluettelo: ... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2008
Sisällysluettelo: ... -- Constraint-Based Approach for Analysis of Hybrid Systems -- Session 5: Tools – Dynamic Verification...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2010
Sisällysluettelo: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2012
Sisällysluettelo: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2010
Sisällysluettelo: ...: Transactions Based on Security Questions and Image -- CloneManager: A Tool for Detection of Type1 and Type2...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2006
Sisällysluettelo: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2007
Sisällysluettelo: ... -- Session V: Tool Environment -- CADP 2006: A Toolbox for the Construction and Analysis of Distributed...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2007
Sisällysluettelo: ... Bayesian Network Classifiers -- Combining Decision Trees Based on Imprecise Probabilities and Uncertainty...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2008
Sisällysluettelo: ... Approach for Mixed-Integer Linear Programs -- Simulation-Based Optimization for Steel Stacking -- Robust...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2010
Sisällysluettelo: ... of Linear Semi-Infinite Programs -- On Equilibrium Problems -- Scalarly Compactness, (S)+-Type Conditions...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2010
Sisällysluettelo: ...-Based Reasoning and Bayesian Networks for Clinical Decision Support -- Event Extraction for Legal Case...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2015
Sisällysluettelo: ... Function through Reaching and Grasping -- Joint Protection: Enabling Change in Musculoskeletal Conditions...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2013
Sisällysluettelo: ... Agent in a Dialogue Based on Conversations in TV Programs -- Research on a Large Digital Desktop...
Hae kokoteksti
Elektroninen E-kirja