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