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:   Thêm vào giỏ

Collision-Based Computing [electronic resource]
	Tác giả: Andrew Adamatzky
	Xuất bản: London: Springer London : Imprint: Springer , 2002.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Computational Artifacts [electronic resource] : Towards a Philosophy of Computer Science
	Tác giả: Raymond Turner
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2018.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

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  Thêm vào giỏ

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  Thêm vào giỏ

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:   Thêm vào giỏ

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:   Thêm vào giỏ

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:   Thêm vào giỏ

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:   Thêm vào giỏ

Dualities in graphs and digraphs
	Tác giả:
	Xuất bản: Berlin: Universitätsverlag der Technischen Universität Berlin , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ