Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 25 kết quả
Mathematical Aspects of Logic Programming Semantics
Tác giả: Pascal Hitzler, Anthony Seda
Xuất bản: Boca Raton, FL: Taylor & Francis , 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.115
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
High Performance Embedded Computing
Tác giả: Luis Miguel Pinho, Marko Bertogna, Marko Bertogna, Luis Miguel Pinho, Eduardo Quinones, Eduardo Quinones
Xuất bản: Taylor & Francis , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Tác giả: Leando Soares Indrusiak, Piotr Dziurzanski, Piotr Dziurzanski, Leando Soares Indrusiak, Amit Kumar Singh, Amit Kumar Singh
Xuất bản: Taylor & Francis , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
Xuất bản: TU Wien Academic Press , 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
A Primer on Memory Consistency and Cache Coherence, Second Edition
Tác giả: Vijay Nagarajan, Mark D Hill, Daniel J Sorin, David A Wood
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
The Datacenter as a Computer Designing Warehouse-Scale Machines, Third Edition
Tác giả: Barroso Luiz André, Urs Hölzle, Parthasarathy Ranganathan
Xuất bản: Cham: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Embedded System Design : Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Tác giả: Peter Marwedel
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Variant Construction from Theoretical Foundation to Applications
Tác giả: Jeffrey Zheng, Jeffrey Zheng
Xuất bản: Singapore: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 

Truy cập nhanh danh mục