Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
	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ỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
	Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
	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:  004.0151  Thêm vào giỏ

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 [electronic resource] : Selected Papers...
	Tác giả: David Moxey, Peiró Joaquim, Christoph Schwab, Spencer J Sherwin, Peter E Vincent
	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:  515.353  Thêm vào giỏ

Sublinear Computation Paradigm [electronic resource] : Algorithmic Revolution in the Big Data Era
	Tác giả: Yuya Higashikawa, Hiro Ito, Naoki Katoh, Atsuki Nagao, Tetsuo Shibuya, Adnan Sljoka, Kazuyuki Tanaka, Yushi Uno
	Xuất bản: Singapore: Springer Singapore , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

An Integrated Sustainability Evaluation of Indirect Liquefaction of Biomass to Liquid Fuels [electronic resource]
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2018
	Bộ sưu tập: Metadata
	ddc:  666.9  Thêm vào giỏ

Changing the Narrative on Forced Displacement
	Tác giả:
	Xuất bản: Washington, DC: World Bank , 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  325.2  Thêm vào giỏ

Wind Vision. A New Era for Wind Power in the United States (Executive Summary, Full Report, and Appendices); U.S. Depart...
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2015
	Bộ sưu tập: Metadata
	ddc:  621.45  Thêm vào giỏ

2014-2015 Offshore Wind Technologies Market Report [electronic resource]
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2015
	Bộ sưu tập: Metadata
	ddc:  333.9  Thêm vào giỏ

Optimal market making under partial information and numerical methods for impulse control games with applications
	Tác giả: Diego Zabaljauregui
	Xuất bản: , 2020
	Bộ sưu tập: Metadata
	ddc:  001.434  Thêm vào giỏ

The Spatial Division of Labor in Nepal
	Tác giả: Marcel Fafchamps
	Xuất bản: World Bank, Washington, D.C , 2013
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  330.95  Thêm vào giỏ