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: 
141-150 trong số 367 kết quả
Artificial Intelligence in Theory and Practice III [electronic resource] : Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part of WCC 2010, Brisbane
Tác giả: Max Bramer
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic
Tác giả: Flemming Nielson, Flemming Nielson, David Sands, David Sands
Xuất bản: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
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ỏ
 
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich
Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
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:  005.1
 Thêm vào giỏ
 
Error control systems for digital communication and storage
Tác giả: Stephen B Wicker
Xuất bản: Englewood Cliffs, NJ: Prentice Hall , 1995
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.38224
 Thêm vào giỏ
 
Encyclopedia of Algorithms [electronic resource]
Tác giả: Ming-Yang Kao
Xuất bản: Boston, MA: Springer-Verlag , 2008.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  518.103
 Thêm vào giỏ
 
Trước 13 14 15 16 17 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