Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
101-110 trong số 392 kết quả
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022
Tác giả: Patricia Bouyer, Patricia Bouyer, Lutz Schröder, Lutz Schröder
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ỏ
 
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ỏ
 
Agile Processes in Software Engineering and Extreme Programming - Workshops [electronic resource] : XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers
Tác giả: Peggy Gregory, Philippe Kruchten
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 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ỏ
 
Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague
Tác giả: Flemming Nielson, David Sands
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.8
 Thêm vào giỏ
 
Programming Languages and Systems [electronic resource] : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Thomas Wies
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.45
 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ỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
Xuất bản: Cham Switzerland: Springer Nature, 2021
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 [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Nobuko Yoshida
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:  005.13
 Thêm vào giỏ
 
Trước 9 10 11 12 13 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