Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
interface computer » interfaces computer, interactive computer, internet computer
computer programs » computer program
programs program » programming program
program abstract » program abstracts, programs abstract, program abstrak
abstract https » abstract bots, abstract attacks
interface computer » interfaces computer, interactive computer, internet computer
computer programs » computer program
programs program » programming program
program abstract » program abstracts, programs abstract, program abstrak
abstract https » abstract bots, abstract attacks
1
Publicado 2008
Tabla de Contenidos:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Enlace del recurso
Electrónico
eBook
2
Publicado 2014
Tabla de Contenidos:
“...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”Enlace del recurso
Electrónico
eBook
3
Publicado 2012
Tabla de Contenidos:
“... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...”Enlace del recurso
Electrónico
eBook
4
Publicado 2010
Tabla de Contenidos:
“... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”Enlace del recurso
Electrónico
eBook
5
Publicado 2014
Tabla de Contenidos:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Enlace del recurso
Electrónico
eBook
6
Publicado 2007
Tabla de Contenidos:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Enlace del recurso
Electrónico
eBook
7
Publicado 2008
Tabla de Contenidos:
“...Abductive Inference for Reasoning about Heaps -- A Sound Floating-Point Polyhedra Abstract Domain...”Enlace del recurso
Electrónico
eBook
8
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
9
Tabla de Contenidos:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
10
Publicado 2007
Tabla de Contenidos:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Enlace del recurso
Electrónico
eBook
11
Publicado 2005
Tabla de Contenidos:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Enlace del recurso
Electrónico
eBook
12
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
13
Publicado 2006
Tabla de Contenidos:
“... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...”Enlace del recurso
Electrónico
eBook
14
Tabla de Contenidos:
“...-driven Programming -- Defining Classes....”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
15
Publicado 2007
Tabla de Contenidos:
“... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...”Enlace del recurso
Electrónico
eBook
16
Publicado 2005
Tabla de Contenidos:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”Enlace del recurso
Electrónico
eBook
17
Publicado 2005
Tabla de Contenidos:
“...: Eliminating Abstraction Overhead from Generic Code -- Implicitly Heterogeneous Multi-stage Programming...”Enlace del recurso
Electrónico
eBook
18
Publicado 2006
Tabla de Contenidos:
“... Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises...”Enlace del recurso
Electrónico
eBook
19
Publicado 2010
Tabla de Contenidos:
“...Large Scale Systems -- A Scalable MPI_Comm_split Algorithm for Exascale Computing -- Enabling...”Enlace del recurso
Electrónico
eBook
20
Tabla de Contenidos:
“... -- The TVPI Abstract Domain -- The Integral TVPI Domain -- Interfacing Analysis and Numeric Domain...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook