1
出版 2013
書本目錄: ... Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically...
獲取全文
電子 電子書
2
書本目錄: ...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...
獲取全文
電子 電子書
5
出版 2005
書本目錄: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
獲取全文
電子 電子書
6
出版 2010
書本目錄: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
獲取全文
電子 電子書
7
書本目錄: ..., Sets and Logical Connectives -- Sequences and Bit-Strings -- Modulo Computation -- Geometric Sums...
獲取全文
電子 電子書
8
出版 2007
書本目錄: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
獲取全文
電子 電子書
9
出版 2007
書本目錄: ... Classification -- Design of Electronic Circuits Using a Divide-and-Conquer Approach -- Implementing Multi-VRC...
獲取全文
電子 電子書
10
出版 2005
書本目錄: ... and Tools III -- Impact of Faults in Combinational Logic of Commercial Microcontrollers -- Implementation...
獲取全文
電子 電子書
11
出版 2007
書本目錄: ... for Implementation of Side Channel Attacks Resistant Crypto-Chips -- Analysis and Improvement of Dual Rail Logic as a...
獲取全文
電子 電子書
12
出版 2006
書本目錄: ... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...
獲取全文
電子 電子書
13
出版 2013
書本目錄: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
獲取全文
電子 電子書
14
出版 2013
書本目錄: ...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...
獲取全文
電子 電子書
15
出版 2010
書本目錄: ... Accelerated Vision System -- Systemic Computation Using Graphics Processors -- Session 4: Implementations...
獲取全文
電子 電子書
16
出版 2010
書本目錄: ... Architecture for Dynamic Function Patterns -- Reconfigurable Components for Application-Specific Processor...
獲取全文
電子 電子書
17
書本目錄: ... -- Efficient Symbolic Analysis for Concurrent Programs -- Translation Validation of High-Level Synthesis...
獲取全文
電子 電子書
18
出版 2013
書本目錄: ...Wireless Sphygmomanometer with Data Encryption -- Design and Implementation of Multimedia Social...
獲取全文
電子 電子書