Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interference methods » inference methods, intelligence methods, preference methods
developing computer » development computer, developing competent, developing complex
program developing » programs developing, programme developing, programmes developing
methods program » methods programmed, methods problem, metrics program
computer https » computers https, computing https, computer arts
interference methods » inference methods, intelligence methods, preference methods
developing computer » development computer, developing competent, developing complex
program developing » programs developing, programme developing, programmes developing
methods program » methods programmed, methods problem, metrics program
computer https » computers https, computing https, computer arts
1
Publicado 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2012
Table of Contents:
“...-threaded Applications.- Bounded-Interference Sequentialization for Testing Concurrent Programs.- Runtime...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2007
Table of Contents:
“... with Timers and Types -- Automatic Refinement of Split Binary Semaphore -- Stepwise Development of Simulink...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2007
Table of Contents:
“... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2010
Table of Contents:
“... Computing and Multimedia Applications -- An Effective Video Steganography Method for Biometric...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2006
Table of Contents:
“... -- An Improved Global Trust Value Computing Method in P2P System -- Trusted Priority Control Design...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... Choreographies -- Resolving Business Process Interference via Dynamic Reconfiguration -- Linked Data and Service...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... Telematics Services -- An Efficient ICI Cancellation Method for Cooperative STBC-OFDM Systems -- Low-Cost Two...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2014
Table of Contents:
“...- The Digital Video Frame Obfuscation Method in Consideration of Human Visual System for Intellectual Property...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2014
Table of Contents:
“... of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2011
Table of Contents:
“...MicroRNA Biogenesis and Cancer -- Computational Identification of MiRNAs Involved in Cancer...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2005
Table of Contents:
“... in the Cellular Response to Myocardial Infarction -- Development of Mast Cells In Vitro -- Growth of Human Mast...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2005
Table of Contents:
“... -- Towards a Precise UML-Based Development Method -- Tutorials -- Fault Tolerance – Concepts...”Ligazón do recurso
Electrónico
eBook
14
Table of Contents:
“...Geometrical Optics -- Interference -- Diffraction -- Coherence -- Maxwell's Theory -- Maxwell II...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
15
Publicado 2010
Table of Contents:
“...Medium Access Control -- Physical Model Based Interference Classification and Analysis -- Dynamic...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2007
Table of Contents:
“... -- Process Dependencies and Process Interference Rules for Analyzing the Impact of Failure in a Service...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2005
Table of Contents:
“...CONSTRAINTS OF GROUND-BASED OBSERVATIONS: THE ATMOSPHERE -- INTERFERENCES -- A BRIEF HISTORY...”Ligazón do recurso
Electrónico
eBook
18
Publicado 1999
Table of Contents:
“... Embryos -- Whole Embryo Assays for Programmed Cell Death -- Gene Interference Using Antisense...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2015
Table of Contents:
“... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...”Ligazón do recurso
Electrónico
eBook