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
书本目录: ... -- Efficient Symbolic Analysis for Concurrent Programs -- Translation Validation of High-Level Synthesis...
获取全文
电子 电子书
9
出版 2015
书本目录: ... to Obfuscate Programs Directly -- Cryptographic Agents: Towards a Unified Theory of Computing on Encrypted Data...
获取全文
电子 电子书
10
出版 2007
书本目录: ...High Performance Implementation of an FPGA-Based Sequential DT-CNN -- HANNA: A Tool for Hardware...
获取全文
电子 电子书
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...
获取全文
电子 电子书