Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
processing program » processing programs, processing programmed, proceedings program
method processing » metal processing, method process, methods preprocessing
interface method » interface methods, interphase method, interval method
program abstract » program abstracts, programs abstract, program abstrak
abstract https » abstract bots, abstract attacks
processing program » processing programs, processing programmed, proceedings program
method processing » metal processing, method process, methods preprocessing
interface method » interface methods, interphase method, interval method
program abstract » program abstracts, programs abstract, program abstrak
abstract https » abstract bots, abstract attacks
1
Publicado 2005
Tabla de Contenidos:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Enlace del recurso
Electrónico
eBook
2
Publicado 2007
Tabla de Contenidos:
“... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”Enlace del recurso
Electrónico
eBook
3
Publicado 2010
Tabla de Contenidos:
“... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”Enlace del recurso
Electrónico
eBook
4
Publicado 2010
Tabla de Contenidos:
“... Component Model for Autonomous Robotics -- Design Abstraction and Processes in Robotics: From Code-Driven...”Enlace del recurso
Electrónico
eBook
5
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
6
Publicado 2005
Tabla de Contenidos:
“... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”Enlace del recurso
Electrónico
eBook
7
Publicado 2005
Tabla de Contenidos:
“... Dynamically Communicating Abstract Machines in the B Method -- Sweep-Line Analysis of TCP Connection...”Enlace del recurso
Electrónico
eBook
8
Publicado 2006
Tabla de Contenidos:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”Enlace del recurso
Electrónico
eBook
9
Publicado 2012
Tabla de Contenidos:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”Enlace del recurso
Electrónico
eBook
10
Publicado 2012
Tabla de Contenidos:
“... Retrieval from Deformable Templates.- OWL-DL Domain-Models as Abstract Workflows.- Processes and Data...”Enlace del recurso
Electrónico
eBook
11
Publicado 2012
Tabla de Contenidos:
“...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”Enlace del recurso
Electrónico
eBook
12
Publicado 2012
Tabla de Contenidos:
“... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...”Enlace del recurso
Electrónico
eBook
13
Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...
Publicado 2006
Tabla de Contenidos:
“... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...”Enlace del recurso
Electrónico
eBook
14
Publicado 2006
Tabla de Contenidos:
“... and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction -- Towards P2P-Based...”Enlace del recurso
Electrónico
eBook
15
Publicado 2007
Tabla de Contenidos:
“... Registration of Biomedical Images -- Characterization of Artificial Muscles Using Image Processing...”Enlace del recurso
Electrónico
eBook
16
Publicado 2006
Tabla de Contenidos:
“... Composition -- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation -- Temporal...”Enlace del recurso
Electrónico
eBook
17
Publicado 2005
Tabla de Contenidos:
“... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”Enlace del recurso
Electrónico
eBook
18
Publicado 2010
Tabla de Contenidos:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”Enlace del recurso
Electrónico
eBook
19
Publicado 2010
Tabla de Contenidos:
“... Constrained SIFT Matching -- A Method for Music Structure Analysis Using MPEG-4 TwinVQ Audio Compression -- A...”Enlace del recurso
Electrónico
eBook
20
Natural Language Processing and Information Systems 10th International Conference on Applications...
Publicado 2005
Tabla de Contenidos:
“... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...”Enlace del recurso
Electrónico
eBook
- 1
- 2
- 3
- 4
- Siguiente »
- [4]