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: 
531-540 trong số 590 kết quả
Jurnal Dialektika Informatika
Tác giả:
Xuất bản: : Badan Penerbit Universitas Muria Kudus, 2022
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
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ỏ
 
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, ...
Tác giả: K Rustan M Leino, Alexandra Silva
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.1
 Thêm vào giỏ
 
Finance 4.0 - Towards a Socio-Ecological Finance System [electronic resource] : A Participatory Framework to Promote Sus...
Tác giả: Marcus M Dapp, Dirk Helbing, Stefan Klauser
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
 Thêm vào giỏ
 
Zukunft der Arbeit in Industrie 4.0 [electronic resource]
Tác giả: Alfons Botthof, Ernst Andreas Hartmann
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer Vieweg, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670
 Thêm vào giỏ
 
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: Cham: Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 Thêm vào giỏ
 
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Secure development for mobile apps : how to design and code secure mobile applications with PHP and JavaScript
Tác giả: J D Glaser
Xuất bản: : ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.256
 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ỏ
 
of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Tác giả: Christel Baier, Ugo Dal Lago
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 Thêm vào giỏ
 
Trước 52 53 54 55 56 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