1
Publicado 2008
Tabla de Contenidos: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
Enlace del recurso
Electrónico eBook
2
por Spear, Chris., Spear, Chris.
Publicado 2008
Tabla de Contenidos: ... Associative Arrays -- 2.6 Linked Lists -- 2.7 Array Methods -- 2.8 Choosing a Storage Type -- 2.9 Creating New...
Enlace del recurso
Electrónico eBook
3
Publicado 2005
Tabla de Contenidos: ... Metrics for Conceptual Models of Data Warehouses -- Design and Development of a Tool for Integrating...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... Model of Trust in Contexts -- Multi-Agent Linear Array Sensors Modeling -- A Framework for Intelligent...
Enlace del recurso
Electrónico eBook
5
Publicado 2015
Tabla de Contenidos: ... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...
Enlace del recurso
Electrónico eBook
6
Publicado 2005
Tabla de Contenidos: ... Framework for the Image Retrieval Signal/Semantic Integration -- A New Algorithm for Content-Based Region...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A...
Enlace del recurso
Electrónico eBook
9
Publicado 2007
Tabla de Contenidos: ...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...
Enlace del recurso
Electrónico eBook