Loại tài liệu:    Chỉ tìm trong: 
1201-1210 trong số 1260 kết quả
Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSAC...
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
 
Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC14...
Tác giả: Carla Ferreira, Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
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:  621.395
 
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Tác giả: Shuvendu K Lahiri, Chao Wang
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:  005.1
 
Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings
Tác giả: Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent
Xuất bản: New York, NY: Springer Nature , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.7
 
The Huawei and Snowden Questions : Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor ...
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
 
Security of Ubiquitous Computing Systems [electronic resource] : Selected Topics
Tác giả: Gildas Avoine, Julio Hernandez-Castro
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.8
 
Service-oriented and cloud computing : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013 : pr...
Tác giả: Winfried Lamersdorf, K-K Lau, Ernesto Pimentel
Xuất bản: Heidelberg: Springer , 2013
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  TK 5105.5828
 
Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications
Tác giả: Michael R Berthold
Xuất bản: Cham: Springer Nature , 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.312
 
GUI Design for Android Apps [electronic resource]
Tác giả: Ryan Cohen, Tao Wang
Xuất bản: Berkeley, CA: Apress : Imprint: Apress , 2014
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.167
 
Communicating, Networking: Interacting [electronic resource] : The International Year of Global Understanding - IYGU
Tác giả: Margaret E Robertson
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  302.2
 

Truy cập nhanh danh mục