Loại tài liệu:    Chỉ tìm trong: 
591-600 trong số 620 kết quả
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: 
 
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: 
 
Knowledge Graphs and Big Data Processing
Tác giả: Valentina Janev, Damien Graux, Damien Graux, Hajira Jabeen, Hajira Jabeen, Valentina Janev, Emanuel Sallinger, Emanuel Sallinger
Xuất bản: Cham, Switzerland: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Communicative Figurations: Transforming Communications in Times of Deep Mediatization
Tác giả: Andreas Hepp, Andreas Breiter, Uwe Hasebrink
Xuất bản: Cham: Palgrave Macmillan , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  302.23
 
Non-volatile in-memory computing by spintronics
Tác giả: Hao Yu, Leibin Ni, Yuhao Wang
Xuất bản: San Rafael, California: Morgan & Claypool , 2017.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3
 
Thiết kế bộ điều khiển thông minh cho hệ cân bằng thanh và bóng=Designing an intelligent controller fo...
Tác giả: Tân Mỹ Lê
Xuất bản: Tạp chí Công thương , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc: 
 
Xu hướng thị trường plcXu hướng thiết kế bền vững ở Việt Nam hiện nay
Tác giả: Hoa Miên Phùng
Xuất bản: Tạp chí tự động hóa ngày nay, Khoa học (Đại học Hòa Bình , 20082023
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  629.8
 
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
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: 
 
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, Septe...
Tác giả: Michael Cochez, Michael Cochez, Madalina Croitoru, Madalina Croitoru, Pierre Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Reverberations of Dharmakīrti's Philosophy: Proceedings of the Fifth International Dharmakīrti Conference Heidelberg A...
Tác giả:
Xuất bản: Verlag der Österreichischen Akademie der Wissenschaften , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục