Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
561-570 trong số 2641 kết quả
Biomimetic and Biohybrid Systems [electronic resource] : Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings
Tác giả: Armin Duff, Nathan F Lepora, Anna Mura, Tony J Prescott, Paul FMJ Verschure
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Biomimetic and Biohybrid Systems [electronic resource] : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings
Tác giả: Marc Desmulliez, Nathan F Lepora, Michael Mangan, Anna Mura, Tony J Prescott, Paul FMJ Verschure
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Mixed-Criticality Industrial Wireless Networks [electronic resource]
Tác giả: Xi Jin, Dong Li, Changqing Xia, Chi Xu
Xuất bản: Singapore: Springer Nature Singapore Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.6
 Thêm vào giỏ
 
Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Peter Müller
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.13
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Handbook of research on discrete event simulation environments : technologies and applications
Tác giả: Evon M O Abu-Taieh, Asim Abdel Rahman El Sheikh
Xuất bản: Hershey PA: Information Science Reference, 2012
Bộ sưu tập: Sách tra cứu
eBook (pdf)
ddc:  003
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Sriram Sankaranarayanan, Sriram Sankaranarayanan, Natasha Sharygina, Natasha Sharygina
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Sriram Sankaranarayanan, Sriram Sankaranarayanan, Natasha Sharygina, Natasha Sharygina
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Trước 55 56 57 58 59 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media