COVID-19 LDRD Project Summaries [electronic resource]
	Tác giả:
	Xuất bản: Washington DC Oak Ridge Tenn: United States National Nuclear Security Administration Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2020
	Bộ sưu tập: Metadata
	ddc:  669.96699  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference,...
	Tác giả: Armin Biere, David Parker
	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.0151  Thêm vào giỏ

A Circular Built Environment in the Digital Age
	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:   Thêm vào giỏ

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of ...
	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:   Thêm vào giỏ

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  Thêm vào giỏ

Basic Energy Sciences Program Update [electronic resource]
	Tác giả:
	Xuất bản: Washington DC Oak Ridge Tenn: United States Dept of Energy Office of Science Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2020
	Bộ sưu tập: Metadata
	ddc:  333.79  Thêm vào giỏ

Operational and Mission Highlights A Monthly Summary of Top Achievements (June 2021) [electronic resource]
	Tác giả:
	Xuất bản: Washington DC Oak Ridge Tenn: United States National Nuclear Security Administration Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2021
	Bộ sưu tập: Metadata
	ddc:  621.3  Thêm vào giỏ

Operational and Mission Highlights A Monthly Summary of Top Achievements (May 2021) [electronic resource]
	Tác giả:
	Xuất bản: Washington DC Oak Ridge Tenn: United States National Nuclear Security Administration Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2021
	Bộ sưu tập: Metadata
	ddc:  628.  Thêm vào giỏ

Operational and Mission Highlights [electronic resource] : A Monthly Summary of Top Achievements
	Tác giả:
	Xuất bản: Washington DC Oak Ridge Tenn: United States National Nuclear Security Administration Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2021
	Bộ sưu tập: Metadata
	ddc:  539  Thêm vào giỏ

Operational and Mission Highlights A Monthly Summary of Top Achievements (Nov 2020) [electronic resource]
	Tác giả:
	Xuất bản: Washington DC Oak Ridge Tenn: United States National Nuclear Security Administration Distributed by the Office of Scientific and Technical Information US Dept of Energy, 2020
	Bộ sưu tập: Metadata
	ddc:  621.3  Thêm vào giỏ