Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
	Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
	Xuất bản: TU Wien Academic Press , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   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ỏ

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ỏ

Innovative tools and design strategies The case of Eclectic Architecture in Buenos Aires
	Tác giả: Andrés Garrido Federico
	Xuất bản: KIT Scientific Publishing , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Survey and Down-Selection of Acid Gas Removal Systems for the Thermochemical Conversion of Biomass to Ethanol with a Detailed Analysis of an MDEA System [electronic resource]
	Tác giả:
	Xuất bản: Golden, Colo. : Oak Ridge, Tenn: National Renewable Energy Laboratory (U.S.) ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2011
	Bộ sưu tập: Báo, Tạp chí
	ddc:  657.73  Thêm vào giỏ

Adaptive Nutzenbewertung für Untersuchungs- und Behandlungsmethoden mit Medizinprodukten hoher Klassen : Die Abwägung vo...
	Tác giả: Axel Mühlbacher, Christin Juhnke
	Xuất bản: Berlin: MWV Medizinisch Wissenschaftliche Verlagsgesellschaft , 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  344.43041  Thêm vào giỏ

Methods for monitoring and diagnosing the efficiency of catalytic converters : a patent-oriented survey
	Tác giả: Marios Sideris
	Xuất bản: New York: Elsevier , 1998
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  629.2528  Thêm vào giỏ

Spectral logic and its applications for the design of digital devices
	Tác giả: Mark G Karpovsky, Jaakko Astola, Radomir S Stankovic
	Xuất bản: Hoboken, N.J: Wiley-Interscience , 2008.
	Bộ sưu tập: Khoa học ứng dụng
	Bản in ddc:  621.395  Thêm vào giỏ

The Global Politics of Artificial Intelligence
	Tác giả: Maurizio Tinnirello, Maurizio Tinnirello
	Xuất bản: Taylor & Francis , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  006.3  Thêm vào giỏ