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ỏ

Quantum field theory : a quantum computation approach
	Tác giả: Yannick Meurice
	Xuất bản: Bristol England Temple Circus Temple Way Bristol BS1 6HG UK: IOP Publishing, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  530.144  Thêm vào giỏ

Computation engineering : applied automata theory and logic
	Tác giả: Ganesh Gopalakrishnan
	Xuất bản: New York: Springer, 2006
	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ỏ

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ỏ