Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
computational programming » computational program, computing programming, computational processing
computation programming » communication programming, computation programmatic, computing programming
semantics errors » semantics sensors, semantic mirrors, semantics across
errors virtual » tensors virtual, arrays virtual, across virtual
computational programming » computational program, computing programming, computational processing
computation programming » communication programming, computation programmatic, computing programming
semantics errors » semantics sensors, semantic mirrors, semantics across
errors virtual » tensors virtual, arrays virtual, across virtual
1
Được phát hành 2013
Mục lục:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2012
Mục lục:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2006
Mục lục:
“... -- VirtualQWERTY: Textual Communication in Virtual Reality -- Networked Heterogeneous Camera System for High...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2014
Mục lục:
“... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2007
Mục lục:
“... Streams -- Parallel Computing of Kernel Density Estimates with MPI -- Quantization Error and Accuracy...”lấy văn bản
Điện tử
eBook
6
Được phát hành 2006
Mục lục:
“... Interference -- Smart Instant Messenger in Pervasive Computing Environments -- Session 2: Grid Scheduling...”lấy văn bản
Điện tử
eBook
7
Được phát hành 2013
Mục lục:
“... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...”lấy văn bản
Điện tử
eBook
8
Được phát hành 2014
Mục lục:
“...Introduction to Track on Engineering Virtualized Services -- Erlang-Style Error Recovery...”lấy văn bản
Điện tử
eBook
9
Được phát hành 2012
Mục lục:
“... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...”lấy văn bản
Điện tử
eBook