Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
function structure » functional structure, functional structures, functional structural
programs practice » programs practices, program practice, programs practical
structure https » structures https
practice https » practice has, practice hot, pragmatics https
https function » its function, sites function, ups function
function structure » functional structure, functional structures, functional structural
programs practice » programs practices, program practice, programs practical
structure https » structures https
practice https » practice has, practice hot, pragmatics https
https function » its function, sites function, ups function
1
Julkaistu 2006
Sisällysluettelo:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2008
Sisällysluettelo:
“... Structure Prediction with Large Neighborhood Constraint Programming Search -- An Application of Constraint...”Hae kokoteksti
Elektroninen
E-kirja
3
Sisällysluettelo:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2010
Sisällysluettelo:
“... Stochastic Processes -- Graph Structured Program Evolution: Evolution of Loop Structures -- A Functional...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2005
Sisällysluettelo:
“...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...”Hae kokoteksti
Elektroninen
E-kirja
6
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Julkaistu 2007
Sisällysluettelo:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2010
Sisällysluettelo:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2013
Sisällysluettelo:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2007
Sisällysluettelo:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”Hae kokoteksti
Elektroninen
E-kirja
10
Aiheet:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
11
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Julkaistu 2013
Sisällysluettelo:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”Hae kokoteksti
Elektroninen
E-kirja
12
Aiheet:
“...Data Structures and Information Theory. https://scigraph.springernature.com/ontologies/product...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
13
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Julkaistu 2015
Sisällysluettelo:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”Hae kokoteksti
Elektroninen
E-kirja
14
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Julkaistu 2005
Sisällysluettelo:
“... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...”Hae kokoteksti
Elektroninen
E-kirja
15
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Julkaistu 2008
Sisällysluettelo:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Hae kokoteksti
Elektroninen
E-kirja
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Julkaistu 2013
Sisällysluettelo:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2005
Sisällysluettelo:
“... Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a More Practical...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2010
Sisällysluettelo:
“... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”Hae kokoteksti
Elektroninen
E-kirja
19
Sisällysluettelo:
“... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2005
Sisällysluettelo:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Hae kokoteksti
Elektroninen
E-kirja