Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
	Xuất bản: Cham, Switzerland: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Top-down network design
	Tác giả: Priscilla Oppenheimer
	Xuất bản: Indianapolis, IN: Cisco Press , 2004
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.6  Thêm vào giỏ

Risk Management, Sustainability and Leadership
	Tác giả: Larisa Ivascu, Ben-Oni Ardelean, Ben-Oni Ardelean, Larisa Ivascu, Muddassar Sarfraz, Muddassar Sarfraz
	Xuất bản: IntechOpen , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Practical Problems in VLSI Physical Design Automation elektronisk ressurs
	Tác giả: Sung Kyu Lim
	Xuất bản: Dordrecht: Springer Science + Business Media B.V , 2008
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.395  Thêm vào giỏ

Relating to Things Design, Technology and the Artificial
	Tác giả: Heather Wiltse, Heather Wiltse
	Xuất bản: London: Bloomsbury Academic , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Life Cycle Analysis of Electrofuels [electronic resource] : Fischer?Tropsch Fuel Production from Hydrogen and Corn Ethanol Byproduct CO<sub>2</sub>
	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 , 2021
	Bộ sưu tập: Metadata
	ddc:  621.47  Thêm vào giỏ

Interim Report on SNP analysis and forensic microarray probe design for South American hemorrhagic fever viruses, tick-borne encephalitis virus, henipaviruses, Old World Arenaviruses, filoviruses
	Tác giả:
	Xuất bản: Livermore, Calif : Oak Ridge, Tenn: Lawrence Livermore National Laboratory ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2012
	Bộ sưu tập: Metadata
	ddc:  577.2  Thêm vào giỏ

Timing [electronic resource]
	Tác giả: Sachin S Sapatnekar
	Xuất bản: Boston: Kluwer Academic Publishers , 2004
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.39  Thêm vào giỏ

Buildings and Structures under Extreme Loads
	Tác giả: Chiara Bedon, Chiara Bedon, Daniel Honfi, Daniel Honfi, Flavio Stochino, Flavio Stochino
	Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ