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: 
421-430 trong số 1150 kết quả
Verification of communication protocols in web services [electronic resource] : model-checking service compositions
Tác giả: Anshuman Mukherjee, Péter Bertók, Zahir Tari
Xuất bản: Hoboken, New Jersey: John Wiley & Sons , 2013.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.62
 Thêm vào giỏ
 
The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor B...
Tác giả: Olav Lysne
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:  005.8
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference,...
Tác giả: Dana Fisman, Grigore Rosu
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2022.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays D...
Tác giả: Bob Coecke, Luke Ong, Prakash Panangaden
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Attachment Transmission in Wireless Networks [electronic resource]
Tác giả: Lu Wang, Mounir Hamdi, Kaishun Wu
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Communication in Critical Embedded Systems [electronic resource] : First Workshop, WoCCES 2013, Brasília, Brazil, May, ...
Tác giả: Kalinka Branco, Daniel Pigatto, Alex Pinto
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.167
 Thêm vào giỏ
 
World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Tác giả: Paweł Kasprowski, Daniel Kostrzewa, Stanisław Kozielski, Bożena Małysiak-Mrozek, Dariusz Mrozek
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:  006.312
 Thêm vào giỏ
 
Artificial Intelligence and Security [electronic resource] : 5th International Conference, ICAIS 2019, New York, NY, USA...
Tác giả: Elisa Bertino, Zhaoqing Pan, Xingming Sun
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ỏ
 
Bioinformatics Research and Applications [electronic resource] : 16th International Symposium, ISBRA 2020, Moscow, Russi...
Tác giả: Zhipeng Cai, Xuan Guo, Ion Mandoiu, Giri Narasimhan, Pavel Skums
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:  570.285
 Thêm vào giỏ
 
Communication in Multiagent Systems [electronic resource] : Agent Communication Languages and Conversation Policies
Tác giả: Marc-Phillipe Huget
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Trước 41 42 43 44 45 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