1
Έκδοση 2008
Πίνακας περιεχομένων: ... Simplified -- Tabular Expressions and Total Functional Programming -- Speculative Inlining of Predefined...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2010
Πίνακας περιεχομένων: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2013
Πίνακας περιεχομένων: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2014
Πίνακας περιεχομένων: ... cloning: A Simple and Robust High-Throughput Cloning Method for Protein Expression -- Minimum GC-rich...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2006
Πίνακας περιεχομένων: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Θέματα: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2013
Πίνακας περιεχομένων: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
ανά Sharan, Kishori., Sharan, Kishori.
Έκδοση 2014
Θέματα: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2010
Πίνακας περιεχομένων: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Θέματα: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2014
Πίνακας περιεχομένων: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Πίνακας περιεχομένων: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
ανά Fischer, Robert., Fischer, Robert.
Έκδοση 2015
Θέματα: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2015
Πίνακας περιεχομένων: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2005
Πίνακας περιεχομένων: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2008
Πίνακας περιεχομένων: ... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2008
Πίνακας περιεχομένων: ... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2006
Πίνακας περιεχομένων: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2007
Πίνακας περιεχομένων: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2015
Πίνακας περιεχομένων: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο