Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
compositional programming » compositional program, compositive programming, copositive programming
detection compositional » detection computational, infection compositional, derivation compositional
programming semantics » programming mathematics, programming series, programming secrets
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
compositional programming » compositional program, compositive programming, copositive programming
detection compositional » detection computational, infection compositional, derivation compositional
programming semantics » programming mathematics, programming series, programming secrets
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
Pubblicazione 2006
Sommario:
“... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”Testo
Elettronico
eBook
2
Pubblicazione 2014
Sommario:
“... -- On the Correctness of a Branch Displacement Algorithm -- Analyzing the Next Generation Airborne Collision Avoidance...”Testo
Elettronico
eBook
3
Pubblicazione 2005
Sommario:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Testo
Elettronico
eBook
4
Pubblicazione 2005
Sommario:
“...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”Testo
Elettronico
eBook
5
Pubblicazione 2010
Sommario:
“... -- Towards an Architecture for Runtime Interoperability -- On Handling Data in Automata Learning -- A Theory...”Testo
Elettronico
eBook
6
Pubblicazione 2005
Sommario:
“... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”Testo
Elettronico
eBook
7
Pubblicazione 2010
Sommario:
“... Platform Based Context-Aware Services across Home -- Web Services Testing Approaches: A Survey and a...”Testo
Elettronico
eBook
8
Pubblicazione 2007
Sommario:
“... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”Testo
Elettronico
eBook
9
Pubblicazione 2010
Sommario:
“... -- New Hardware -- ACAR: An Adaptive Cost Aware Cache Replacement Approach for Flash Memory -- GPU...”Testo
Elettronico
eBook
10
Pubblicazione 2005
Sommario:
“... Framework for the Image Retrieval Signal/Semantic Integration -- A New Algorithm for Content-Based Region...”Testo
Elettronico
eBook
11
Pubblicazione 2010
Sommario:
“... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...”Testo
Elettronico
eBook
12
Pubblicazione 2012
Sommario:
“... Algorithm Based on Atmosphere Scatters Approximation Model -- Design of a Data-Oriented PID Controller...”Testo
Elettronico
eBook
13
Pubblicazione 2013
Sommario:
“... and Approaching Degree Toolbox via Matlab -- Deploying autonomous coordinating agent for assessment model in smart...”Testo
Elettronico
eBook