Loại tài liệu:    Chỉ tìm trong: 
681-690 trong số 709 kết quả
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European ...
Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Join...
Tác giả: Ilya Sergey, Ilya Sergey
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part o...
Tác giả: Patricia Bouyer, Patricia Bouyer, Lutz Schröder, Lutz Schröder
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Algorithmuskulturen -- Über die rechnerische Konstruktion der Wirklichkeit
Tác giả: Robert Seyfert, Jonathan Roberge, Jonathan Roberge, Robert Seyfert
Xuất bản: Bielefeld: transcript Verlag , 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, F...
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 
Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Tác giả: Dhabaleswar K Panda, Dhabaleswar K Panda
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.11
 
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: 
 
The Amazing Journey of Reason : from DNA to Artificial Intelligence
Tác giả: Mario Alemi
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  155.7
 
From Opinion Mining to Financial Argument Mining
Tác giả: Chung-Chi Chen, Hsin-Hsi Chen, Hen-Hsen Huang
Xuất bản: Singapore: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Supercomputing Frontiers : 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings
Tác giả: David Abramson, David Abramson, Bronis R de Supinski, Bronis R de Supinski
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:  004.11
 

Truy cập nhanh danh mục