1
Έκδοση 2008
Πίνακας περιεχομένων: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2006
Πίνακας περιεχομένων: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2014
Πίνακας περιεχομένων: ....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2006
Πίνακας περιεχομένων: ...H — HCI at the Human Scale -- “Looking At the Computer but Doing It On Land”: Children’s...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2007
Πίνακας περιεχομένων: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2008
Πίνακας περιεχομένων: ... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
Έκδοση 2010
Πίνακας περιεχομένων: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
8
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Investigating the Affective Quality of Motion in User Interfaces to Improve User Experience -- The MINWii...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2007
Πίνακας περιεχομένων: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2005
Πίνακας περιεχομένων: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
Έκδοση 2007
Πίνακας περιεχομένων: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
12
Έκδοση 2015
Πίνακας περιεχομένων: ... and CSCW -- Mining Programming Activity to Promote Help -- “It’s About Business not Politics”: Software...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2007
Πίνακας περιεχομένων: ... for Work Related Disorders Among Computer Workers -- Do Background Luminance Levels or Character Size...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2006
Πίνακας περιεχομένων: ... Custom Sensor-Based Embedded Computing Systems Guided by End-User Optimization Criteria...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2013
Πίνακας περιεχομένων: ...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2010
Πίνακας περιεχομένων: ... Based on Knowledge States -- An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2010
Πίνακας περιεχομένων: ... System Using Collaborative Filtering on Fashion E-Business -- Intelligent Computing for Data Security...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
Έκδοση 2007
Πίνακας περιεχομένων: ... Construction for Wireless Sensor Networks -- Overlay Network Management for Scheduling Tasks on the Grid...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2014
Πίνακας περιεχομένων: ...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο