Loại tài liệu:    Chỉ tìm trong: 
581-590 trong số 601 kết quả
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: 
 
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European ...
Tác giả: Esther Guerra, Esther Guerra, Mariëlle Stoelinga, Mariëlle Stoelinga
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: 
 
Coordination Event Detection and Initiator Identification in Time Series Data
Tác giả: Chainarong Amornbunchornvej, Tanya Y Berger-Wolf, Ivan Brugere, Margaret C Crofoot, Damien Farine, Ariana Strandburg-Peshkin
Xuất bản: , 2016
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  003.1
 
Nghiên cứu phát triển hệ thống kiểm soát ra vào cho khu đô thị thông minh=Developing an Access Control ...
Tác giả: Thị Mùi Vũ, Thu Thuỷ Ngô, Phương Đông Nguyễn, Ngọc Duy Phạm
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: 
 
Integrationism and the Self Reflections on the Legal Personhood of Animals
Tác giả: Christopher Hutton
Xuất bản: Taylor & Francis , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
IoT
Tác giả:
Xuất bản: MDPI AG , 2021
Bộ sưu tập: Báo giấy
ddc: 
 
Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as...
Tác giả: Jordi Cabot, Heike Wehrheim
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July ...
Tác giả: Shuvendu K Lahiri, Chao Wang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the Eu...
Tác giả: Flemming Nielson, David Sands
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSAC...
Tác giả: Christel Baier, Ugo Dal Lago
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 

Truy cập nhanh danh mục