1
Έκδοση 2013
Πίνακας περιεχομένων: ... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2011
Πίνακας περιεχομένων: ... -- Part VI Sound, Text and Image Processing -- Part VII Design and Decision Support -- Part VIII Rough...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2007
Πίνακας περιεχομένων: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2015
Πίνακας περιεχομένων: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2006
Πίνακας περιεχομένων: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2010
Πίνακας περιεχομένων: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2007
Πίνακας περιεχομένων: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2008
Πίνακας περιεχομένων: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2006
Πίνακας περιεχομένων: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2008
Πίνακας περιεχομένων: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2006
Πίνακας περιεχομένων: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2014
Πίνακας περιεχομένων: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2013
Πίνακας περιεχομένων: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2007
Πίνακας περιεχομένων: ... for the Symmetric Interaction Combinators -- Two Session Typing Systems for Higher-Order Mobile Processes...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
ανά Malizia, Alessio., Malizia, Alessio.
Έκδοση 2006
Πίνακας περιεχομένων: ... -- Meshes and Sprites -- Animations -- Ray intersections -- Building an M3G demo -- Summary -- Direct 3D...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2010
Πίνακας περιεχομένων: ... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2011
Πίνακας περιεχομένων: ... GUI Generation with Optimization for Screens with Limited Resolution -- 3.1.3. Process-Centred Design...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2014
Πίνακας περιεχομένων: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2011
Πίνακας περιεχομένων: ... fusion Wiener filter with applied to signal processing -- Covariance Intersection Fusion Kalman Filter...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2005
Πίνακας περιεχομένων: ...) -- Statistical Tools for Digital Forensics -- Relative Generic Computational Forensic Techniques -- Session 4...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο