Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive modulation » interactions modulation, interactive populations, interactive simulation
modulation proceedings » ovulation proceedings, population proceedings, formulation proceedings
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
interactive modulation » interactions modulation, interactive populations, interactive simulation
modulation proceedings » ovulation proceedings, population proceedings, formulation proceedings
proceedings program » proceedings from
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Publicado 2014
Table of Contents:
“... in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2007
Table of Contents:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2015
Table of Contents:
“... vectors in estimating time-to-contact an obstacle -- Evolving Emotion Recognition Module for Intelligent...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2014
Table of Contents:
“... Supervised Learning -- Design and Evaluation of N-module Reconfigurable Systems -- Genre Based Classification...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2014
Table of Contents:
“... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2010
Table of Contents:
“... Multiplexing Encryption Based on Modified Gerchberg-Saxton Algorithm and Phase Modulation in Fractional Fourier...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2013
Table of Contents:
“... from NCX Purification and Cloning: Milestones -- Part II Structural and Functional Aspects of NCX -- 3...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“... -- Modulations in Low-Frequency EEG Oscillations in the Processing of Tactile Surfaces -- Power Consumption...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2007
Table of Contents:
“... for Intensity-Modulated Radiation Therapy -- A New Recombination Lower Bound and the Minimum Perfect...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2007
Table of Contents:
“... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2006
Table of Contents:
“... Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2006
Table of Contents:
“...Watermarking Is Not Cryptography -- Secure Quantization Index Modulation Watermark Detection...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“...-Theoretic Method for Mining Overlapping Functional Modules in Protein Interaction Networks -- Identification...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“... -- Performance Analysis of Coded OFDM for Various Modulation Schemes in 802.11a Based Digital Broadcast...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2013
Table of Contents:
“... -- Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models -- Constraint Programming...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2007
Table of Contents:
“... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]