Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
computations proceedings » communications proceedings, computing proceedings, communication proceedings
interface computations » interface computational, interfaces computational, interactive computations
proceedings programmed » processing programmed, proceedings program, process programmed
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
computations proceedings » communications proceedings, computing proceedings, communication proceedings
interface computations » interface computational, interfaces computational, interactive computations
proceedings programmed » processing programmed, proceedings program, process programmed
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
1
Publicado 2008
Tabla de Contenidos:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Enlace del recurso
Electrónico
eBook
2
Publicado 2006
Tabla de Contenidos:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Enlace del recurso
Electrónico
eBook
3
Publicado 2014
Tabla de Contenidos:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Enlace del recurso
Electrónico
eBook
4
Publicado 2006
Tabla de Contenidos:
“...H — HCI at the Human Scale -- “Looking At the Computer but Doing It On Land”: Children’s...”Enlace del recurso
Electrónico
eBook
5
Publicado 2007
Tabla de Contenidos:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Enlace del recurso
Electrónico
eBook
6
Publicado 2008
Tabla de Contenidos:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”Enlace del recurso
Electrónico
eBook
7
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicado 2007
Tabla de Contenidos:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Enlace del recurso
Electrónico
eBook
8
Publicado 2005
Tabla de Contenidos:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Enlace del recurso
Electrónico
eBook
9
Publicado 2010
Tabla de Contenidos:
“...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...”Enlace del recurso
Electrónico
eBook
10
Publicado 2010
Tabla de Contenidos:
“... -- Investigating the Affective Quality of Motion in User Interfaces to Improve User Experience -- The MINWii...”Enlace del recurso
Electrónico
eBook
11
Publicado 2007
Tabla de Contenidos:
“... Construction for Wireless Sensor Networks -- Overlay Network Management for Scheduling Tasks on the Grid...”Enlace del recurso
Electrónico
eBook
12
Publicado 2007
Tabla de Contenidos:
“... for Work Related Disorders Among Computer Workers -- Do Background Luminance Levels or Character Size...”Enlace del recurso
Electrónico
eBook
13
Publicado 2007
Tabla de Contenidos:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Enlace del recurso
Electrónico
eBook
14
Publicado 2006
Tabla de Contenidos:
“... Custom Sensor-Based Embedded Computing Systems Guided by End-User Optimization Criteria...”Enlace del recurso
Electrónico
eBook
15
Publicado 2014
Tabla de Contenidos:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Enlace del recurso
Electrónico
eBook
16
Publicado 2010
Tabla de Contenidos:
“... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”Enlace del recurso
Electrónico
eBook
17
Publicado 2010
Tabla de Contenidos:
“... Based on Knowledge States -- An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing...”Enlace del recurso
Electrónico
eBook
18
Publicado 2010
Tabla de Contenidos:
“... System Using Collaborative Filtering on Fashion E-Business -- Intelligent Computing for Data Security...”Enlace del recurso
Electrónico
eBook
19
Publicado 2015
Tabla de Contenidos:
“... and CSCW -- Mining Programming Activity to Promote Help -- “It’s About Business not Politics”: Software...”Enlace del recurso
Electrónico
eBook
20
Publicado 2013
Tabla de Contenidos:
“...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems...”Enlace del recurso
Electrónico
eBook