Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
integration method » integration methods, iteration method, generation method
processing program » processing programs, processing programmed, proceedings program
method processing » metal processing, method process, methods preprocessing
program care » program cara, program case, program carmen
care https » change https
integration method » integration methods, iteration method, generation method
processing program » processing programs, processing programmed, proceedings program
method processing » metal processing, method process, methods preprocessing
program care » program cara, program case, program carmen
care https » change https
1
Publicado em 2014
Sumário:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2005
Sumário:
“... and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2013
Sumário:
“... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2008
Sumário:
“... Images -- Biomedical Applications -- Digital Signal Processing Techniques for Gene Finding in Eukaryotes...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2007
Sumário:
“...Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2008
Sumário:
“... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2006
Sumário:
“...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2008
Sumário:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2007
Sumário:
“... in Biological Neural Networks using NeuronRank -- Adaptive Contextual Processing of Structured Data by Recursive...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2014
Sumário:
“... -- Collecting Valuable Information from Fast Text Streams -- An AUML State Machine Based Method for Multi-agent...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2008
Sumário:
“... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2012
Sumário:
“... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2012
Sumário:
“... Sequential Data Mining Method for Modelling Solar Magnetic Cycles -- Steady-State Visually Evoked Potential...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2014
Sumário:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2005
Sumário:
“... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation 19th...
Publicado em 2010
Sumário:
“...-Power Applications -- Special Session -- SystemC AMS Extensions: New Language – New Methods – New...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd...
Publicado em 2013
Sumário:
“... Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2008
Sumário:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2014
Sumário:
“... Integration in the Networked Healthcare Processes and Data Integration in the Networked Healthcare -- Simple...”Obter o texto integral
Recurso Electrónico
livro electrónico