Theory of computation
	Tác giả: Dexter Kozen
	Xuất bản: London: Springer, 2006
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.352  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice
	Tác giả: Orna Kupferman, Pawel Sobocinski
	Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Computation engineering : applied automata theory and logic
	Tác giả: Ganesh Gopalakrishnan
	Xuất bản: New York: Springer, c2006
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

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ỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory
	Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
	Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory
	Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
	Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Blockchain Scalability and its Foundations in Distributed Systems [electronic resource]
	Tác giả: Vincent Gramoli
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2022
	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 : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022
	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:   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ỏ