Εναλλακτικές αναζητήσεις:
programming defining » programming designing, programming learning, programming reasoning
function function » function functional, functions functional, function dysfunction
defining https » deficiency https
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Έκδοση 2006
Πίνακας περιεχομένων: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2008
Πίνακας περιεχομένων: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
... by candidates during search process. This paper defines set of fitness functions that can be applied for search...
Λήψη πλήρους κειμένου
Άρθρο
4
Πίνακας περιεχομένων: ... To Define Functional Groups -- 2.4 Functional Characterization of Coastal Sandy Plain Vegetation...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
6
ανά Kilicman, Adem, Saleh, Wedad
Έκδοση 2018
...A class of function called sub-b-s-preinvex function is defined as a generalization of s-convex...
Λήψη πλήρους κειμένου
Άρθρο
7
Έκδοση 2014
Πίνακας περιεχομένων: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Πίνακας περιεχομένων: ...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2007
Πίνακας περιεχομένων: ... in Logic Programs -- User-Definable Resource Bounds Analysis for Logic Programs -- Automatic Correctness...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
ανά Kilicman, Adem, Saleh, Wedad
Έκδοση 2018
...The authors define a class of functions on Riemannian manifolds, which are calledgeodesic semilocal...
Λήψη πλήρους κειμένου
Άρθρο
11
ανά Ferreira, Candida., Ferreira, Candida.
Έκδοση 2006
Πίνακας περιεχομένων: ...-RNC Algorithm -- Automatically Defined Functions in Problem Solving -- Polynomial Induction and Time...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2010
Πίνακας περιεχομένων: ... Complexity of Boolean Functions -- Definability in the Subword Order -- Undecidability in Weihrauch Degrees...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2008
Πίνακας περιεχομένων: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2006
Πίνακας περιεχομένων: ... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2007
Πίνακας περιεχομένων: ... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
ανά Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Έκδοση 2012
Πίνακας περιεχομένων: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2006
Πίνακας περιεχομένων: ...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
ανά Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Έκδοση 2015
Πίνακας περιεχομένων: ...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
ανά Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Έκδοση 2006
Πίνακας περιεχομένων: ... in Data -- Files -- Functions -- Control Structures -- Characters -- Complex -- Logical -- User Defined...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
ανά Lee, Kent D., Lee, Kent D.
Έκδοση 2014
Πίνακας περιεχομένων: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο