Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
reasoning methods » learning methods, training methods, planning methods
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
reasoning methods » learning methods, training methods, planning methods
1
Julkaistu 2005
Sisällysluettelo:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2006
Sisällysluettelo:
“...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2008
Sisällysluettelo:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2008
Sisällysluettelo:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2010
Sisällysluettelo:
“... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2010
Sisällysluettelo:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2007
Sisällysluettelo:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2005
Sisällysluettelo:
“... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2007
Sisällysluettelo:
“... Logical Approach to Qualitative and Quantitative Reasoning -- Description Logic Programs Under...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2005
Sisällysluettelo:
“... Reasoning -- Learning to Optimize Plan Execution in Information Agents -- Cased-Based Reasoning by Human...”Hae kokoteksti
Elektroninen
E-kirja
11
Sisällysluettelo:
“...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2008
Sisällysluettelo:
“... Functional Logic Language -- Latest News about Demonic Algebra with Domain -- On the Structure of Demonic...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2013
Sisällysluettelo:
“... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2007
Sisällysluettelo:
“... Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2008
Sisällysluettelo:
“... Reasoning Based on Rough Mereology in Player/Stage System -- Natural versus Granular Computing: Classifiers...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2014
Sisällysluettelo:
“... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2007
Sisällysluettelo:
“... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”Hae kokoteksti
Elektroninen
E-kirja
18
Tekijä Koohi, Sina Zangbari
Julkaistu 2020
Aiheet:
“...Parallel programming (Computer science) - Research...”Julkaistu 2020
Hae kokoteksti
Opinnäyte
19
Julkaistu 2005
Sisällysluettelo:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2007
Sisällysluettelo:
“... Manipulations for 2D Structures of Mathematical Expressions -- On the Virtues of Generic Programming...”Hae kokoteksti
Elektroninen
E-kirja