1
por Sestoft, Peter., Sestoft, Peter.
Publicado 2012
Tabla de Contenidos: ... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...
Enlace del recurso
Electrónico eBook
2
Publicado 2012
Tabla de Contenidos: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Enlace del recurso
Electrónico eBook
3
Publicado 2006
Tabla de Contenidos: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...
Enlace del recurso
Electrónico eBook
5
por Raynal, Michel., Raynal, Michel.
Publicado 2013
Tabla de Contenidos: ... to Atomic Bits: A Lower Bound and an Optimal Construction -- Chap. 13 - Bounded Constructions of Atomic b...
Enlace del recurso
Electrónico eBook
6
por Graba, Jan., Graba, Jan.
Publicado 2007
Tabla de Contenidos: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
Enlace del recurso
Electrónico eBook
7
Publicado 2007
Tabla de Contenidos: ... Resource Navigation System for Data Grid -- A Research on Local Mean in Empirical Mode Decomposition...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
Enlace del recurso
Electrónico eBook
9
Publicado 2006
Tabla de Contenidos: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Enlace del recurso
Electrónico eBook
10
Publicado 2005
Tabla de Contenidos: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
Enlace del recurso
Electrónico eBook
11
Publicado 2005
Tabla de Contenidos: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Enlace del recurso
Electrónico eBook
12
Publicado 2014
Tabla de Contenidos: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Enlace del recurso
Electrónico eBook
13
Publicado 2010
Tabla de Contenidos: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Enlace del recurso
Electrónico eBook
14
Tabla de Contenidos: ... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...
Enlace del recurso
Electrónico eBook
15
Tabla de Contenidos: ...Introducing Rich Internet Applications (RIA) -- A short history -- Different approaches...
Enlace del recurso
Electrónico eBook
16
por Meyer, Jeanine., Meyer, Jeanine.
Publicado 2010
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
17
Publicado 2008
Tabla de Contenidos: ... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...
Enlace del recurso
Electrónico eBook
18
Publicado 2010
Tabla de Contenidos: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Enlace del recurso
Electrónico eBook
19
Publicado 2013
Tabla de Contenidos: ... generic non-intrusive fault detection framework -- A Witnessing Compiler: A Proof of Concept -- Runtime...
Enlace del recurso
Electrónico eBook
20
Publicado 2008
Tabla de Contenidos: ... -- Knowledge Representation -- Introspective Forgetting -- A Fixed-Point Property of Logic-Based Bargaining...
Enlace del recurso
Electrónico eBook