1
Опубликовано 2007
Оглавление: ... Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2012
Оглавление: ...-threaded Applications.- Bounded-Interference Sequentialization for Testing Concurrent Programs.- Runtime...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2013
Оглавление: ... Master Equation as a Bridge between Process Hitting and Proper Generalized Decomposition -- Coarse...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2011
Оглавление: ... -- MicroRNA Northern Blotting, Precursor Cloning, and Ago2-Improved RNA Interference -- MiRNA Profiling...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2005
Оглавление: ... Interference RNA in Mast Cells -- Mast Cell Activation by Lipoproteins -- Mast Cell Activation by Stress...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2015
Оглавление: ... on Network Coding -- Implementation Method for Class J Power Amplifiers -- Paerosols’ Statistical Fractal...
Полный текст
Электронный ресурс eКнига
7
по Reiss, Rolf-Dieter., Reiss, Rolf-Dieter., Thomas, Michael.
Опубликовано 2007
Оглавление: ... Analysis -- Statistical Models for Exceedance Processes -- Elements of Multivariate Statistical Analysis...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2013
Оглавление: ... -- Interference Management Analysis of Double-ABBA and ABBA Quasi-Orthogonal Space Time Code....
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2014
Оглавление: ... of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2005
Оглавление: ...CONSTRAINTS OF GROUND-BASED OBSERVATIONS: THE ATMOSPHERE -- INTERFERENCES -- A BRIEF HISTORY...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2007
Оглавление: ... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2012
Оглавление: ... -- Modeling Lane Preferences in Agent-Based Multi-Lane Highway Simulation -- Chromosome Coding Methods...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2005
Оглавление: ...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2010
Оглавление: ... -- Modified Structures of Viterbi Alogrithm for Forced-State Method in Concatenated Coding System of ISDB...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2010
Оглавление: ... of Video Processing System -- Perception-Based Road Traffic Congestion Classification Using Neural Networks...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2007
Оглавление: ... Coding Aided Time-Domain Cancellation for Inter-Carrier Interference Reduction in OFDM Systems...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2010
Оглавление: ...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2010
Оглавление: ... for Wireless Sensor Networks -- FDAN: Failure Detection Protocol for Mobile Ad Hoc Networks -- Interference...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2007
Оглавление: ... -- Process Dependencies and Process Interference Rules for Analyzing the Impact of Failure in a Service...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2010
Оглавление: ... Choreographies -- Resolving Business Process Interference via Dynamic Reconfiguration -- Linked Data and Service...
Полный текст
Электронный ресурс eКнига