Εναλλακτικές αναζητήσεις:
programmed interactions » programmed instructions, programmed interactive, programs interactions
function structures » functions structures, function structure, functional structures
interactions https » interaction https, integration https
https function » its function, sites function, ups function
1
Έκδοση 2007
Πίνακας περιεχομένων: ... -- A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC) -- Session A9...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2008
Πίνακας περιεχομένων: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2008
Πίνακας περιεχομένων: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2012
Πίνακας περιεχομένων: ... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2014
Πίνακας περιεχομένων: ... -- Retinoic Acid Receptors: Structural Basis for Coregulator Interaction and Exchange -- Evolution of Retinoic...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2015
Πίνακας περιεχομένων: ... Structures, and the ICM Molsoft Program -- In Cellulo DNA Analysis: LMPCR Footprinting -- Southwestern...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2007
Πίνακας περιεχομένων: ... to Memory Faults -- Simple and Space-Efficient Minimal Perfect Hash Functions -- Session 4A -- A Near Linear...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2007
Πίνακας περιεχομένων: ... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2005
Πίνακας περιεχομένων: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2008
Πίνακας περιεχομένων: ... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
ανά Lee, Kent D., Lee, Kent D.
Έκδοση 2008
Πίνακας περιεχομένων: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2010
Πίνακας περιεχομένων: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2014
Πίνακας περιεχομένων: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2015
Πίνακας περιεχομένων: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2015
Πίνακας περιεχομένων: ... -- Structure-Function Relationship of Bacterial SH3 Domains -- Activation of PI3K by Thyroid Hormone Nuclear...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2006
Πίνακας περιεχομένων: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2014
Πίνακας περιεχομένων: ... Interaction and Decision Support Systems of the Future -- Linguistics to Structure Unstructured Information...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
ανά Lee, Kent D., Lee, Kent D.
Έκδοση 2014
Πίνακας περιεχομένων: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Πίνακας περιεχομένων: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
ανά Lee, Kent D., Lee, Kent D.
Έκδοση 2014
Θέματα: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο