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, Cooperation, and Life [electronic resource] : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday
	Tác giả: Jozef Kelemen, Alica Kelemenová
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
	Bộ sưu tập: Tài liệu truy cập mở
	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 Science+Business Media LLC , 2006.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Hybrid Advanced Optimization Methods with Evolutionary Computation Techniques in Energy Forecasting
	Tác giả: Wei-Chiang Hong (Ed)
	Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2018
	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 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024
	Tác giả:
	Xuất bản: Cham: Springer Nature , 2024
	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 [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ỏ