Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Amal Ahmed
	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.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ỏ

The Future Internet: Future Internet Assembly 2013: Validated Results and New Horizons
	Tác giả: Anastasius Gavras, Alex Galis
	Xuất bản: Springer Nature , 2013
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.678  Thêm vào giỏ

Handbook of research on mobile multimedia
	Tác giả: Ismail Khalil Ibrahim
	Xuất bản: Hershey: Idea Group Publishing , 2006
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  384.3  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory
	Tác giả: Dirk Beyer, Marieke Huisman
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1015113  Thêm vào giỏ

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 : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Dirk Beyer, Marieke Huisman
	Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Terascale High-Fidelity Simulations of Turbulent Combustion with Detailed Chemistry [electronic resource]
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Science ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2012
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Enabling Optimized Charging of Electric Vehicles in Mobility Services [electronic resource]
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. National Nuclear Security Administration ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2020
	Bộ sưu tập: Báo, Tạp chí
	ddc:  628.1  Thêm vào giỏ

Multi-objective Optimal Control of Dynamic Integrated Model of Climate and Economy: Evolution in Action
	Tác giả: Mostapha Kalami Heris, Shahryar Rahnamayan
	Xuất bản: , 2020
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  304.25  Thêm vào giỏ