Computation Engineering [electronic resource] : Applied Automata Theory and Logic
	Tác giả: Ganesh Gopalakrishnan
	Xuất bản: Boston MA: Springer ScienceBusiness Media LLC, 2006
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Non-instantaneous impulsive differential equations : basic theory and computation
	Tác giả: JinRong Wang, Michael Fe�eckan
	Xuất bản: Bristol England Temple Circus Temple Way Bristol BS1 6HG UK: IOP Publishing, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  515.353  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
	Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
	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  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021
	Tác giả: Stefan Kiefer, Stefan Kiefer, Christine Tasson, Christine Tasson
	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:   Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice
	Tác giả: Stefan Kiefer, Christine Tasson
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	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 : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020
	Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
	Xuất bản: Cham: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

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ỏ

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ỏ

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ỏ