Εναλλακτικές αναζητήσεις:
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
programs service » programme service, programs serving, programming service
service https » devices https
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
Έκδοση 2014
Πίνακας περιεχομένων: ... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2005
Πίνακας περιεχομένων: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2013
Πίνακας περιεχομένων: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2006
Πίνακας περιεχομένων: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2007
Πίνακας περιεχομένων: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
ανά Swenson, Nathan G., Swenson, Nathan G.
Έκδοση 2014
Πίνακας περιεχομένων: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2008
Πίνακας περιεχομένων: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2012
Πίνακας περιεχομένων: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2011
Θέματα: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
ανά Hunt, John., Hunt, John.
Έκδοση 2014
Πίνακας περιεχομένων: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Πίνακας περιεχομένων: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2010
Πίνακας περιεχομένων: ... Heterogeneous Team Collaboration through Flexible Software Processes -- Improving IT Service Management...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Θέματα: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2008
Πίνακας περιεχομένων: ...Foundations -- From Web to Semantic Web -- Semantic Web Services -- WSMO and WSML -- SESA...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Πίνακας περιεχομένων: ... to Ecosystem Service -- 1.5. Functional Diversity Quantification -- 2. Functional Groups -- 2.1 Selecting Trait...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο