Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
integrated computer » integration computer, integrated computing, interfaces computer
computer programs » computer program
programs program » programming program
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
integrated computer » integration computer, integrated computing, interfaces computer
computer programs » computer program
programs program » programming program
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Έκδοση 2008
Πίνακας περιεχομένων:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2010
Πίνακας περιεχομένων:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2011
Θέματα:
“...Programming languages (Electronic computers)....”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2011
Θέματα:
“...Programming languages (Electronic computers)....”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2010
Πίνακας περιεχομένων:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Πίνακας περιεχομένων:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Θέματα:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2008
Πίνακας περιεχομένων:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2006
Πίνακας περιεχομένων:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2007
Πίνακας περιεχομένων:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2005
Πίνακας περιεχομένων:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2007
Πίνακας περιεχομένων:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Έκδοση 2008
Πίνακας περιεχομένων:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2013
Πίνακας περιεχομένων:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Έκδοση 2013
Πίνακας περιεχομένων:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Έκδοση 2007
Πίνακας περιεχομένων:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Έκδοση 2005
Πίνακας περιεχομένων:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2006
Πίνακας περιεχομένων:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2007
Πίνακας περιεχομένων:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Έκδοση 2008
Πίνακας περιεχομένων:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο