Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 66 kết quả
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ỏ
 
of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Tác giả: Stefan Kiefer, Christine Tasson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Tác giả: Mikołaj Bojańczyk, Alex Simpson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Tác giả: Jean Goubault-Larrecq, Barbara König
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
SMath for physics : a primer
Tác giả: Bernard V Liengme
Xuất bản: Bristol England Temple Circus Temple Way Bristol BS1 6HG UK: IOP Publishing, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  530.15
 Thêm vào giỏ
 
Recent Advances in Medical Statistics
Tác giả: Vargas-De-León CruzVargas-De-León Cruz
Xuất bản: : IntechOpen, 2022
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 : 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ỏ
 
Systems science and modeling for ecological economics
Tác giả: Alexey Voinov
Xuất bản: Amsterdam London: Elsevier Academic Press, 2008
Bộ sưu tập: Xã hội, kinh tế, luật
eBook (pdf)
ddc:  333.7015118
 Thêm vào giỏ
 
MATLAB primer for speech-language pathology and audiology
Tác giả: Frank R Boutsen, Justin D Dvorak
Xuất bản: San Diego CA: Plural Publishing Inc, 2016
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  616.85500285
 Thêm vào giỏ
 
Data analysis with open source tools
Tác giả: Philipp K Janert
Xuất bản: Beijing Cambride MA: OReilly, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.7
 Thêm vào giỏ
 
Trước 1 2 3 4 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