Loại tài liệu:    Chỉ tìm trong: 
31-40 trong số 54 kết quả
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferenc...
Tác giả: Flemming Nielson, Flemming Nielson, David Sands, David Sands
Xuất bản: : Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Join...
Tác giả: Nobuko Yoshida, Nobuko Yoshida
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: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS...
Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
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: 
 
Urbanization, Biodiversity and Ecosystem Services: Challenges and Opportunities: A Global Assessment
Tác giả: Thomas Elmqvist, Michail Fragkias, Julie Goodness, Burak Güneralp, Peter J Marcotullio, Robert I McDonald, Susan Parnell, Maria Schewenius, Marte Sendstad, Karen C Seto, Cathy Wilkinson
Xuất bản: Cham: Springer Nature, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  577.56
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
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: 
 
Evolution, Monitoring and Predicting Models of Rockburst: Precursor Information for Rock Failure
Tác giả: Chunlai Wang
Xuất bản: Cham: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Self-Reported Population Health: An International Perspective based on EQ-5D
Tác giả: Agota Szende, Juan Cabases, Juan Cabases, Bas Janssen, Bas Janssen, Agota Szende
Xuất bản: Cham: Springer Nature, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norw...
Tác giả: Evi Zouganeli, Pedro Lind, Pedro Lind, Gustavo Mello, Gustavo Mello, Anis Yazidi, Anis Yazidi, Evi Zouganeli
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences : A Reference Model Guided Approach ...
Tác giả: Zhiming Zhao, Margareta Hellström, Margareta Hellström, Zhiming Zhao
Xuất bản: Cham Switzerland: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục