1
Udgivet 2012
Fag: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Få fuldtekst
Electronisk eBog
3
Fag: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Få fuldtekst
Electronisk eBog
5
Udgivet 2007
Indholdsfortegnelse: ... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...
Få fuldtekst
Electronisk eBog
6
Udgivet 2006
Indholdsfortegnelse: ... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Indholdsfortegnelse: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
Få fuldtekst
Electronisk eBog
8
Udgivet 2008
Indholdsfortegnelse: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...
Få fuldtekst
Electronisk eBog
11
Udgivet 2008
Indholdsfortegnelse: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
Få fuldtekst
Electronisk eBog
12
Udgivet 2006
Indholdsfortegnelse: ... -- Generalized Compact Knapsacks Are Collision Resistant -- An Efficient Provable Distinguisher for HFE -- A...
Få fuldtekst
Electronisk eBog
13
Udgivet 2008
Indholdsfortegnelse: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Få fuldtekst
Electronisk eBog
14
Udgivet 2007
Indholdsfortegnelse: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Få fuldtekst
Electronisk eBog
15
Udgivet 2013
Indholdsfortegnelse: ... Grammars -- Functional Analysis of Large-Scale DNA Strand Displacement Circuits....
Få fuldtekst
Electronisk eBog
16
Udgivet 2013
Indholdsfortegnelse: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Få fuldtekst
Electronisk eBog
17
Indholdsfortegnelse: ... and Strings -- 7. Working with Functions -- 8. Working with Arrays -- 9. Working with Structures -- A...
Få fuldtekst
Electronisk eBog
18
Udgivet 2007
Indholdsfortegnelse: ... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...
Få fuldtekst
Electronisk eBog
19
Udgivet 2007
Indholdsfortegnelse: ... of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic...
Få fuldtekst
Electronisk eBog
20
Udgivet 2006
Indholdsfortegnelse: ... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...
Få fuldtekst
Electronisk eBog