Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
program compositional » program composition, program computational, problem compositional
compositional problem » compositional problems, composition problem, computational problem
developing microsoft » exploring microsoft, designing microsoft
problem developing » programs developing, from developing, process developing
microsoft https » microscopy https, microsoft htc
program compositional » program composition, program computational, problem compositional
compositional problem » compositional problems, composition problem, computational problem
developing microsoft » exploring microsoft, designing microsoft
problem developing » programs developing, from developing, process developing
microsoft https » microscopy https, microsoft htc
1
Publicado 2006
Tabla de Contenidos:
“... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”Enlace del recurso
Electrónico
eBook
2
Publicado 2006
Tabla de Contenidos:
“... Composition Problem and a Solution Based on C++ Template Metaprogramming....”Enlace del recurso
Electrónico
eBook
3
Publicado 2010
Tabla de Contenidos:
“... Network Modelling Tool Using the Reuseware Composition Framework -- Model-Based Development of Automotive...”Enlace del recurso
Electrónico
eBook
4
Publicado 2007
Tabla de Contenidos:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Enlace del recurso
Electrónico
eBook
5
Publicado 2007
Tabla de Contenidos:
“...An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS...”Enlace del recurso
Electrónico
eBook
6
Publicado 2007
Tabla de Contenidos:
“... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...”Enlace del recurso
Electrónico
eBook
7
Publicado 2010
Tabla de Contenidos:
“...: Multidimensional Scaling vs. Semidefinite Programming Approach -- On the Complexity of the Greedy Construction...”Enlace del recurso
Electrónico
eBook
8
Publicado 2013
Tabla de Contenidos:
“... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”Enlace del recurso
Electrónico
eBook