Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
961-970 trong số 1496 kết quả
The Hackable City : Digital Media and Collaborative City-Making in the Network Society
Tác giả: Michiel de Lange, Michiel de Lange, Martijn de Waal, Martijn de Waal
Xuất bản: Singapore: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
A Primer on Scientific Programming with Python elektronisk ressurs
Tác giả: Hans Petter Langtangen
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg , 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.133
 Thêm vào giỏ
 
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Join...
Tác giả: Luís Caires, Luís Caires
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ỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
Xuất bản: Springer Nature , 2019
Bộ sưu tập: NCBI
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
Xuất bản: Springer Nature , 2019
Bộ sưu tập: NCBI
ddc: 
 Thêm vào giỏ
 
Australasian Conference on Information Systems 2018
Tác giả:
Xuất bản: Broadway: UTS ePRESS , 2018
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 : 25th International Conference, TACAS 2019, Held as P...
Tác giả: Vojnar Tomáš, Vojnar Tomáš, Lijun Zhang, Lijun Zhang
Xuất bản: Springer Nature , 2019
Bộ sưu tập: NCBI
ddc:  005.1015113
 Thêm vào giỏ
 
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ỏ
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
Xuất bản: Springer Nature , 2019
Bộ sưu tập: NCBI
ddc: 
 Thêm vào giỏ
 
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 I
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Springer Nature , 2018
Bộ sưu tập: NCBI
ddc:  004.24
 Thêm vào giỏ
 
Trước 95 96 97 98 99 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