Loại tài liệu:    Chỉ tìm trong: 
911-920 trong số 1034 kết quả
Ecology and Applied Environmental Science
Tác giả: Kimon Hadjibiros
Xuất bản: Boca Raton New York: Taylor Francis, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  577
 
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
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:  004.24
 
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: 
 
Sustainable Mobility for Island Destinations
Tác giả: Theocharis Tsoutsos, Theocharis Tsoutsos
Xuất bản: Bern: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  388.4
 
Software for Exascale Computing - SPPEXA 2016-2019
Tác giả: Hans-Joachim Bungartz, Hans-Joachim Bungartz, Wolfgang E Nagel, Wolfgang E Nagel, Philipp Neumann, Philipp Neumann, Severin Reiz, Severin Reiz, Benjamin Uekermann, Benjamin Uekermann
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: 
 
International Symposium on Mathematics, Quantum Theory, and Cryptography : Proceedings of MQC 2019
Tác giả: Tsuyoshi Takagi, Yasuhiko Ikematsu, Yasuhiko Ikematsu, Kazufumi Kimoto, Kazufumi Kimoto, Noboru Kunihiro, Noboru Kunihiro, Tsuyoshi Takagi, Keisuke Tanaka, Keisuke Tanaka, Masato Wakayama, Masato Wakayama
Xuất bản: Singapore: Springer Nature, 2021
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 Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City
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 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
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
 
Experimental Techniques in Nuclear and Particle Physics
Tác giả: Stefaan Tavernier
Xuất bản: Berlin Heidelberg: Springer Nature, 2010
Bộ sưu tập: Tài liệu truy cập mở
ddc:  539.7
 

Truy cập nhanh danh mục