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