Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 69 kết quả
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Scientific Programming and Computer Architecture
Tác giả: Divakar Viswanath
Xuất bản: Cambridge: The MIT Press, 2017
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 Thêm vào giỏ
 
Computer Aided Policy Making
Tác giả: Ray Wyatt
Xuất bản: Abingdon Oxon New York NY: Taylor Francis, 2000
Bộ sưu tập: Tài liệu truy cập mở
ddc:  658.4012028553
 Thêm vào giỏ
 
The Datacenter as a Computer Designing Warehouse-Scale Machines, Third Edition
Tác giả: Barroso Luiz André, Urs Hölzle, Parthasarathy Ranganathan
Xuất bản: Cham: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
ENIAC in action : making and remaking the modern computer
Tác giả: Thomas Haigh, Mark Priestley, Crispin Rope
Xuất bản: Cambridge Massachusetts: The MIT Press, 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.09
 Thêm vào giỏ
 
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ỏ
 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Arbeit. Wohnen. Computer : Zur Utopie in der bildenden Kunst und Architektur der DDR in den 1960er Jahren
Tác giả: Oliver Sukrow
Xuất bản: Heidelberg: Heidelberg University Publishing heiUP, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  700
 Thêm vào giỏ
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
1 2 3 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