Εναλλακτικές αναζητήσεις:
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
services computer » sciences computer
program program » programs program, programming program
1
Έκδοση 2012
Θέματα: ...Programming languages (Electronic computers)....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2015
Πίνακας περιεχομένων: ...Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2006
Πίνακας περιεχομένων: ... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2008
Πίνακας περιεχομένων: ...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2010
Πίνακας περιεχομένων: ... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Πίνακας περιεχομένων: ... -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
ανά Lew, Art., Lew, Art., Mauch, Holger.
Έκδοση 2007
Πίνακας περιεχομένων: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2015
Πίνακας περιεχομένων: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2013
Πίνακας περιεχομένων: ... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2015
Θέματα: ...Programming languages (Electronic computers)....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
ανά Shen, Alexander., Shen, Alexander.
Έκδοση 2010
Πίνακας περιεχομένων: ... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2008
Πίνακας περιεχομένων: ... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2006
Πίνακας περιεχομένων: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
ανά Addis, Tom., Addis, Tom., Addis, Jan.
Έκδοση 2010
Πίνακας περιεχομένων: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2008
Πίνακας περιεχομένων: ... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2008
Πίνακας περιεχομένων: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Θέματα: ...Computer programming....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2013
Πίνακας περιεχομένων: ... code generators for EMF -- Service-oriented combination of code generation frameworks....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2013
Πίνακας περιεχομένων: ... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2007
Πίνακας περιεχομένων: ... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο