1
por Nikiel, Slawomir., Nikiel, Slawomir.
Publicado 2007
Table of Contents: ... Function Systems and Their Applications -- Conclusions, Directions for Further Development....
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
Ligazón do recurso
Electrónico eBook
3
Publicado 2005
Table of Contents: ... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...
Ligazón do recurso
Electrónico eBook
4
Publicado 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Ligazón do recurso
Electrónico eBook
5
Publicado 2010
Table of Contents: ..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...
Ligazón do recurso
Electrónico eBook
6
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Ligazón do recurso
Electrónico eBook
7
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
8
Publicado 2010
Table of Contents: ... Programmable Components in Modest Integrity Systems -- Session 10 -- Development of High-Integrity Software...
Ligazón do recurso
Electrónico eBook
9
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
Ligazón do recurso
Electrónico eBook
10
Table of Contents: ... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...
Ligazón do recurso
Electrónico eBook
11
Publicado 2014
Table of Contents: ... and Morphology -- Video Watermarking Scheme Resistant to Rotation and Collusion Attacks -- Development...
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ...Architectures -- Development and Synthesis of Adaptive Multi-grained Reconfigurable Hardware...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... Evaluation Using Computer-Automated Test Results -- Functional Cluster Analysis of Financial Time Series...
Ligazón do recurso
Electrónico eBook
14
Publicado 2011
Table of Contents: ... System -- Kinase Substrate Interactions -- A Functional Protein Microarray Approach to Characterizing...
Ligazón do recurso
Electrónico eBook
15
Publicado 2010
Table of Contents: ... -- Methods for the Determination of Antioxidant Capacity in Food and Raw Materials -- Analytical Methods...
Ligazón do recurso
Electrónico eBook
16
Publicado 2014
Table of Contents: ... in Programmable Logic Controllers Using Power Fingerprinting -- Timing of Cyber-Physical Attacks on Process...
Ligazón do recurso
Electrónico eBook
17
Publicado 2008
Table of Contents: ... Inhibitors - A Case Study -- Impact of Base Functional Component Types on Software Functional Size Based...
Ligazón do recurso
Electrónico eBook
18
Publicado 2006
Table of Contents: ...The Need for Standards -- Programmable Platform Characterization for System Level Performance...
Ligazón do recurso
Electrónico eBook
19
Publicado 2010
Table of Contents: ... Digital Circuits Using Complex Building Blocks -- Session 2: Artificial Development -- Fault Tolerance...
Ligazón do recurso
Electrónico eBook
20
Publicado 2010
Table of Contents: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Ligazón do recurso
Electrónico eBook