Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
function structure » functional structure, functional structures, functional structural
program setting » program getting, programs getting, program testing
structure https » structures https
https function » its function, sites function, ups function
setting https » being https, writing https, feeding https
function structure » functional structure, functional structures, functional structural
program setting » program getting, programs getting, program testing
structure https » structures https
https function » its function, sites function, ups function
setting https » being https, writing https, feeding https
1
Publicat 2006
Taula de continguts:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”Obtenir text complet
Electrònic
eBook
7
Publicat 2007
Taula de continguts:
“... and Rules -- Semi-structured Decision Rules in Object-Oriented Rough Set Models for Kansei Engineering...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Obtenir text complet
Electrònic
eBook
9
Publicat 2006
Taula de continguts:
“... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
11
Publicat 2007
Taula de continguts:
“... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...”Obtenir text complet
Electrònic
eBook
12
Publicat 2007
Taula de continguts:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”Obtenir text complet
Electrònic
eBook
13
Publicat 2006
Taula de continguts:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”Obtenir text complet
Electrònic
eBook
14
Publicat 2007
Taula de continguts:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”Obtenir text complet
Electrònic
eBook
17
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Publicat 2013
Taula de continguts:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“... Contribution to Programming (1946–1950) -- A Miniaturisation of Ramsey’s Theorem -- Graph Structures...”Obtenir text complet
Electrònic
eBook
19
Publicat 2013
Taula de continguts:
“... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”Obtenir text complet
Electrònic
eBook
20
Taula de continguts:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook