Loại tài liệu:    Chỉ tìm trong: 
1331-1340 trong số 1377 kết quả
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
Tác giả: Isil Dillig, Serdar Tasiran
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.1
 
Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, Oct...
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
 
Einfuehrung von Wettbewerb auf der Letzten Meile
Tác giả: Sarah Eliza Schniewindt
Xuất bản: Bern: Peter Lang International Academic Publishers, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Advances in Real-time Information Networks
Tác giả: Kumbesan Sandrasegaran, Kumbesan Sandrasegaran
Xuất bản: Broadway Australia: UTS ePRESS, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004
 
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conference...
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: Cham: Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Water and Los Angeles: A Tale of Three Rivers, 1900?1941
Tác giả: Tom Sitton, William Deverell
Xuất bản: Oakland California: University of California Press, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  333.9
 
Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg
Tác giả: Esther Guerra, Esther Guerra, Mariëlle Stoelinga, Mariëlle Stoelinga
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: 
 
Safety for Particle Accelerators
Tác giả: Thomas Otto
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: 
 
The Coupling of Safety and Security : Exploring Interrelations in Theory and Practice
Tác giả: Corinne Bieder, Corinne Bieder, Kenneth Pettersen Gould, Kenneth Pettersen Gould
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: 
 
Towards an Emissions Trading System in Mexico: Rationale, Design and Connections with the Global Climate Agenda : Outloo...
Tác giả: Simone Lucatello, Simone Lucatello
Xuất bản: Cham Switzerland: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  363.738746
 

Truy cập nhanh danh mục