Thư viện Đại học Công nghệ Tp.HCM

Đăng nhập

0

Loại tài liệu: Chỉ tìm trong:

481-490 trong số 619 kết quả

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
	Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
	Xuất bản: Cham, Switzerland: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc: 004.24 Thêm vào giỏ

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
	Tác giả: Irek Ulidowski, Carla Ferreira, Carla Ferreira, Ivan Lanese, Ivan Lanese, Ulrik Pagh Schultz, Ulrik Pagh Schultz, Irek Ulidowski
	Xuất bản: Cham, Switzerland: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc: 004 Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS...
	Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
	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ỏ

Mô phỏng và thiết kế bộ điều khiển hệ thống sấy nóng ứng dụng sấy gừng làm trà=Simulating a...
	Tác giả: Thanh Tuyến Trần, Minh Thư Hồ, Như Lâm Lê, Đình Khải Nguyễn, Kim Trung Nguyễn, Phan Ước Nguyện Nguyễn, Quốc Thanh Nguyễn, Hoàng Huy Phước Lợi Phạm, Ngọc Duyên Phạm, Trần Mai Thanh Võ
	Xuất bản: Tạp chí Công thương , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: Thêm vào giỏ

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part o...
	Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc: 005.1 Thêm vào giỏ

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conference...
	Tác giả: Lujo Bauer, Ralf Küsters
	Xuất bản: Cham: Springer , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc: 005.8 Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
	Tác giả: Tomáš Vojnar, Tomáš 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ỏ

Reverberations of Dharmakīrti's Philosophy: Proceedings of the Fifth International Dharmakīrti Conference Heidelberg A...
	Tác giả:
	Xuất bản: Verlag der Österreichischen Akademie der Wissenschaften , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc: Thêm vào giỏ

Schaum's outline of theory and problems of discrete mathematics [electronic resource]
	Tác giả: Seymour Lipschutz, Marc Lipson
	Xuất bản: New York: McGraw-Hill , 2007.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc: 512.02 Thêm vào giỏ

Rousseau on education, freedom, and judgment
	Tác giả: Denise Schaeffer
	Xuất bản: University Park, Pennsylvania: The Pennsylvania State University Press , 2014
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc: 194 Thêm vào giỏ

Trước 47 48 49 50 51 Tiếp

Truy cập nhanh danh mục

Sách tham khảo

Đồ án TN ĐH-CĐ

Tài liệu điện tử

Truy cập mở

Nghiên cứu khoa học

Sách giáo trình

Báo-Tạp chí

Metadata

Sách tra cứu

Luận văn Thạc sĩ

Luận án Tiến sĩ

Media

Thư viện - Đại học Công nghệ Tp.HCM - HUTECH
(028) 36225755 | tt.thuvien@hutech.edu.vn
Copyright @2025 Thư viện HUTECH