1
書本目錄: ..., Sets and Logical Connectives -- Sequences and Bit-Strings -- Modulo Computation -- Geometric Sums...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...
獲取全文
電子 電子書
4
出版 2015
書本目錄: ... Neural Network -- Towards an Integrated Semantic Framework for Neurological Multidimensional Data...
獲取全文
電子 電子書
5
出版 2013
書本目錄: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
獲取全文
電子 電子書
6
出版 2013
書本目錄: ... Rewriting Semantics in Extensible Programming Languages -- Neuro-Fuzzy Model Related to Job Assignation...
獲取全文
電子 電子書
7
出版 2005
書本目錄: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
獲取全文
電子 電子書
8
出版 2007
書本目錄: ...High Performance Implementation of an FPGA-Based Sequential DT-CNN -- HANNA: A Tool for Hardware...
獲取全文
電子 電子書
9
書本目錄: ... -- Efficient Symbolic Analysis for Concurrent Programs -- Translation Validation of High-Level Synthesis...
獲取全文
電子 電子書
10
出版 2015
書本目錄: ... to Obfuscate Programs Directly -- Cryptographic Agents: Towards a Unified Theory of Computing on Encrypted Data...
獲取全文
電子 電子書
11
出版 2013
書本目錄: ...Wireless Sphygmomanometer with Data Encryption -- Design and Implementation of Multimedia Social...
獲取全文
電子 電子書
12
書本目錄: ...Introduction -- IEC 61499 in a Nutshell -- Introduction to Synchronous Programming Using Esterel...
獲取全文
電子 電子書