Loại tài liệu:    Chỉ tìm trong: 
211-220 trong số 1917 kết quả
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
 
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
 
Multiple-Aspect Analysis of Semantic Trajectories [electronic resource] : First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019
Tác giả: Stan Matwin, Chiara Renso, Konstantinos Tserpes
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.31
 
The Impact of Digital Technologies on Public Health in Developed and Developing Countries [electronic resource] : 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020
Tác giả: Bessam Abdulrazak, Hamdi Aloulou, Mohamed Jmaiel, Slim Kallel, Mounir Mokhtari
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.6
 
Bio-Inspired Models of Network, Information, and Computing Systems [electronic resource] : 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised
Tác giả: Gianni A Di Caro, Guy Theraulaz
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:  518.1
 
Clinical Image-Based Procedures. Translational Research in Medical Imaging [electronic resource] : Third International Workshop, CLIP 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA
Tác giả: Klaus Drechsler, Marius Erdt, Miguel Ángel González Ballester, Marius George Linguraru, Cristina Oyarzun Laura, Yoshinobu Sato, Raj Shekhar, Stefan Wesarg
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:  006.37
 
Bayesian and grAphical Models for Biomedical Imaging [electronic resource] : First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers
Tác giả: Tal Arbel, M Jorge Cardoso, Doina Precup, Annemie Ribbens, Ivor Simpson
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:  518.1
 
Clinical Image-Based Procedures. Translational Research in Medical Imaging [electronic resource] : Second International Workshop, CLIP 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan
Tác giả: Klaus Drechsler, Marius Erdt, Miguel Angel González Ballester, Marius George Linguraru, Cristina Oyarzun Laura, Raj Shekhar, Stefan Wesarg
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:  006.37
 
Cloud Computing and Services Sciences [electronic resource] : International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3–5, 2014 Revised Selected Papers
Tác giả: Frédéric Desprez, Donald Ferguson, Markus Helfert, Frank Leymann, Victor Méndez Munoz
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Cognitive Radio Oriented Wireless Networks [electronic resource] : 10th International Conference, CROWNCOM 2015, Doha, Qatar, April 21-23, 2015, Revised Selected Papers
Tác giả: Mohamed Abdallah, Mounir Hamdi, Muhammad Ismail, George K Karagiannidis, Muhammad Zeeshan Shakir, Mark Weichold
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 

Truy cập nhanh danh mục