Loại tài liệu:    Chỉ tìm trong: 
51-60 trong số 82 kết quả
Chapter preface
Tác giả:
Xuất bản: London New York: Taylor Francis, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  418.020285
 
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: 
 
International Journal of Computing and Digital Systems
Tác giả:
Xuất bản: : University of Bahrain, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Introduction to Scientific Programming with Python
Tác giả: Joakim Sundnes
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:  005.133
 
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: 
 
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: 
 
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
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: 
 
Mathematical Aspects of Logic Programming Semantics
Tác giả: Pascal Hitzler, Anthony Seda
Xuất bản: Boca Raton FL: Taylor Francis, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.115
 
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ở
ddc:  004.24
 
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 

Truy cập nhanh danh mục