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: 
171-180 trong số 193 kết quả
Cyber-Physical Systems: A Model-Based Approach [electronic resource]
Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Machine Learning for Cyber Physical Systems [electronic resource] : Selected papers from the International Conference ML...
Tác giả: Jürgen Beyerer, Christian Kühnert, Oliver Niggemann
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer Vieweg , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 Thêm vào giỏ
 
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
Xuất bản: Springer Nature , 2020
Bộ sưu tập: NCBI
ddc:  670.42
 Thêm vào giỏ
 
Anti-fragile ICT Systems
Tác giả: Kjell Jørgen Hole
Xuất bản: New York, NY: Springer Nature , 2016
Bộ sưu tập: NCBI
ddc:  004.6
 Thêm vào giỏ
 
Haptics: Science, Technology, Applications : 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, S...
Tác giả: Ilana Nisky, Jess Hartcher-O'Brien, Jess Hartcher-O'Brien, Ilana Nisky, Jeroen Smeets, Jeroen Smeets, Michaël Wiertlewski, Michaël Wiertlewski
Xuất bản: Springer Nature , 2020
Bộ sưu tập: NCBI
ddc:  005.437
 Thêm vào giỏ
 
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Tác giả: Irek Ulidowski, Carla Ferreira, Carla Ferreira, Ivan Lanese, Ivan Lanese, Ulrik Pagh Schultz, Ulrik Pagh Schultz, Irek Ulidowski
Xuất bản: Springer Nature , 2020
Bộ sưu tập: NCBI
ddc:  004
 Thêm vào giỏ
 
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Par...
Tác giả: Nobuko Yoshida
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.13
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference,...
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: NCBI
ddc:  005.1015113
 Thêm vào giỏ
 
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [electronic resource] : A Reference ...
Tác giả: Margareta Hellström, Zhiming Zhao
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:  004
 Thêm vào giỏ
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
Tác giả: Isil Dillig, Serdar Tasiran
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.1
 Thêm vào giỏ
 
Trước 16 17 18 19 20 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