Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 41 kết quả
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Mikołaj Bojańczyk, Alex Simpson
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.131
 
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Jean Goubault-Larrecq, Barbara König
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Algorithms for Big Data DFG Priority Program 1736
Tác giả: Hannah Bast, Hannah Bast, Claudius Korzen, Claudius Korzen, Ulrich Meyer, Ulrich Meyer, Manuel Penschuck, Manuel Penschuck
Xuất bản: Cham: Springer Nature, 2022
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 : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
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: 
 
The Logical Writings of Karl Popper
Tác giả: David Binder, David Binder, Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Spectral Geometry of Graphs
Tác giả: Pavel Kurasov
Xuất bản: Berlin Heidelberg: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Modern Cryptography Volume 1 : A Classical Introduction to Informational and Mathematical Principle
Tác giả: Zhiyong Zheng
Xuất bản: Singapore: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
Xuất bản: : TU Wien Academic Press, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceed...
Tác giả: Brigitte Pientka, Brigitte Pientka, Cesare Tinelli, Cesare Tinelli
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 

Truy cập nhanh danh mục