Εναλλακτικές αναζητήσεις:
programming programs » programming program, programming programmed, programming problems
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
1
Έκδοση 2010
Πίνακας περιεχομένων: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2006
Πίνακας περιεχομένων: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2008
Πίνακας περιεχομένων: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
ανά Addis, Tom., Addis, Tom., Addis, Jan.
Έκδοση 2010
Πίνακας περιεχομένων: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2008
Πίνακας περιεχομένων: ... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2015
Πίνακας περιεχομένων: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2006
Πίνακας περιεχομένων: ...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
ανά Lew, Art., Lew, Art., Mauch, Holger.
Έκδοση 2007
Πίνακας περιεχομένων: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2007
Πίνακας περιεχομένων: ... Streams Using Fractal GP Ensembles -- Multi-objective Genetic Programming for Improving the Performance...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2006
Πίνακας περιεχομένων: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2008
Πίνακας περιεχομένων: ... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2005
Πίνακας περιεχομένων: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2007
Πίνακας περιεχομένων: ... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
ανά Bradley, Aaron R., Bradley, Aaron R.
Έκδοση 2011
Θέματα: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
ανά Lee, Kent D., Lee, Kent D.
Έκδοση 2008
Πίνακας περιεχομένων: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2013
Πίνακας περιεχομένων: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2005
Πίνακας περιεχομένων: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2006
Πίνακας περιεχομένων: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2007
Πίνακας περιεχομένων: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
ανά Hunt, John., Hunt, John.
Έκδοση 2014
Πίνακας περιεχομένων: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο