Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
functional blocking » function blocking, functional blocks, junction blocking
program function » programme function, programs functional, program foundation
https functional » cots functional, cuts functional, dots functional
function https » functions https, fiction https
blocking https » blocking steps, banking https, blocking sets
functional blocking » function blocking, functional blocks, junction blocking
program function » programme function, programs functional, program foundation
https functional » cots functional, cuts functional, dots functional
function https » functions https, fiction https
blocking https » blocking steps, banking https, blocking sets
1
Sisällysluettelo:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2010
Sisällysluettelo:
“... of 2 × 2 Triangular Matrix Functions: New Cases of Off Diagonal Spectrum -- Infinite Hankel Block...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2008
Sisällysluettelo:
“... of Onto-Relational Learning -- L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2012
Sisällysluettelo:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2015
Sisällysluettelo:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2013
Sisällysluettelo:
“... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”Hae kokoteksti
Elektroninen
E-kirja
8
Sisällysluettelo:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
9
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Julkaistu 2013
Sisällysluettelo:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2014
Sisällysluettelo:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2005
Sisällysluettelo:
“... on General Banach Spaces -- Factorization of Block Triangular Matrix Functions with Off-diagonal Binomials...”Hae kokoteksti
Elektroninen
E-kirja
12
Sisällysluettelo:
“...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2005
Sisällysluettelo:
“...-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop...”Hae kokoteksti
Elektroninen
E-kirja
14
Sisällysluettelo:
“... Menus -- Installing Themes -- Drupal Blocks -- Drupal Modules -- Enabling Interactive Capabilities...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
15
Sisällysluettelo:
“...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2015
Sisällysluettelo:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2013
Sisällysluettelo:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2010
Sisällysluettelo:
“... and Applications -- Optimal Tableau Algorithms for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2008
Sisällysluettelo:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2010
Sisällysluettelo:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Hae kokoteksti
Elektroninen
E-kirja