1
Έκδοση 2015
Πίνακας περιεχομένων: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Πίνακας περιεχομένων: ... and Estimation -- 3.5 Ability of Indices to Detect Some Ecological Processes -- 4. How To Estimate Functional...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2005
Πίνακας περιεχομένων: ...Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2014
Πίνακας περιεχομένων: ... Functionalities of Clojure -- Using a Cluster for Efficient Scalability Evaluation of Multithreaded and Event...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
6
Έκδοση 2014
Πίνακας περιεχομένων: ... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2010
Πίνακας περιεχομένων: ... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2008
Πίνακας περιεχομένων: ... Models Using Radial Basis Function Neural Networks -- Towards an Early Usability Evaluation for Web...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2010
Πίνακας περιεχομένων: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2007
Πίνακας περιεχομένων: ... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2014
Πίνακας περιεχομένων: ... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2005
Πίνακας περιεχομένων: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2013
Πίνακας περιεχομένων: ... for On-Line Genetic Programming for Robotics -- Cartesian Genetic Programming for Image Processing -- A new...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2008
Πίνακας περιεχομένων: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2007
Πίνακας περιεχομένων: ...ASIAN’2006 -- Security Evaluation of a Type of Table-Network Implementation of Block Ciphers -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2005
Πίνακας περιεχομένων: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2010
Πίνακας περιεχομένων: ... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2005
Πίνακας περιεχομένων: ... -- Sequence Jobs and Assign Due Dates with Uncertain Processing Times and Quadratic Penalty Functions...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2008
Πίνακας περιεχομένων: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2013
Πίνακας περιεχομένων: ... Verification Using Network Flow Model -- Performance Evaluation of Process Partitioning Using Probabilistic...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο