1
Έκδοση 2008
Πίνακας περιεχομένων: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2010
Πίνακας περιεχομένων: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2007
Πίνακας περιεχομένων: ... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2010
Πίνακας περιεχομένων: ... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2010
Πίνακας περιεχομένων: ... Measurement for Reactor Protection System Software Implemented in Function Block Diagram -- Session 6...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2006
Πίνακας περιεχομένων: ... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2008
Πίνακας περιεχομένων: ... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων: ... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2014
Πίνακας περιεχομένων: ... in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2013
Πίνακας περιεχομένων: ... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2014
Πίνακας περιεχομένων: ... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2014
Πίνακας περιεχομένων: ... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2008
Πίνακας περιεχομένων: ...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2010
Πίνακας περιεχομένων: ... in Polynomial Time -- Session 2b -- Communication Complexity of Quasirandom Rumor Spreading -- A Complete...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2014
Πίνακας περιεχομένων: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2005
Πίνακας περιεχομένων: ... -- The Computational Complexity of Inference Using Rough Set Flow Graphs -- Rough-Fuzzy Hybridization -- Upper...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2005
Πίνακας περιεχομένων: ...-Theoretic Security Analysis of Physical Uncloneable Functions -- Supporting Financial Transactions -- Risk...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2010
Πίνακας περιεχομένων: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2006
Πίνακας περιεχομένων: ... on Hilbert-Huang Transform and Moments of Characteristic Functions with Wavelet Decomposition -- Intellectual...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο