Loại tài liệu:    Chỉ tìm trong: 
241-247 trong số 247 kết quả
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
 
Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
Tác giả: Wei Lu, Chao Li, Chao Li, Wei Lu, Weiping Wen, Weiping Wen, Hanbing Yan, Hanbing Yan, Yuqing Zhang, Yuqing Zhang
Xuất bản: Singapore: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Workflow patterns : the definitive guide
Tác giả: Nick Russell, Wil van der Aalst, Arthur Ter Hofstede
Xuất bản: Cambridge Massachusetts: MIT Press, 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  658.53
 
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Programmed inequality : how Britain discarded women technologists and lost its edge in computing
Tác giả: Marie Hicks
Xuất bản: Cambridge Massachusetts: The MIT Press, 2017
Bộ sưu tập: Tài liệu truy cập mở
 
Report on High-Fidelity Dynamic Modeling of a Coal-Fired Steam Power Plant [electronic resource]
Tác giả:
Xuất bản: Washington DC Oak Ridge Tenn: United States Office of the Assistant Secretary of Energy for Fossil Energy Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2021
Bộ sưu tập: Metadata
ddc:  621.31
 
Report on High-Fidelity Dynamic Modeling of a Coal-Fired Steam Power Plant [electronic resource]
Tác giả:
Xuất bản: Washington DC Oak Ridge Tenn: United States Office of the Assistant Secretary of Energy for Fossil Energy Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2021
Bộ sưu tập: Metadata
ddc:  658.2
 

Truy cập nhanh danh mục