Loại tài liệu:    Chỉ tìm trong: 
61-67 trong số 67 kết quả
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
 
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: 
 
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: 
 
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European ...
Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
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:  005.1
 
Chapter Hesperia, a Database for Palaeohispanic Languages; and AELAW, a Database for the Ancient European Languages and ...
Tác giả: María José Estarán, Francisco Beltrán, Annamaria De Santis, Annamaria De Santis, Joaquín Gorrochategui, Eduardo Orduña, Irene Rossi, Irene Rossi
Xuất bản: Berlin Boston: De Gruyter, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  411.7
 
Revista Brasileira de Estudos Regionais e Urbanos
Tác giả:
Xuất bản: : Associação Brasileira de Estudos Regionais e Urbanos ABER, 2019
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Small-signal stability, control and dynamic performance of power systems
Tác giả: MJ Gibbard, P Pourbeik, DJ Vowles
Xuất bản: Adelaide: University of Adelaide Press, 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.317
 

Truy cập nhanh danh mục