Managing the Complexity of Critical Infrastructures [electronic resource] : A Modelling and Simulation Approach
	Tác giả: Elias Kyriakides, Erich Rome, Vittorio Rosato, Roberto Setola
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016
	Bộ sưu tập: NCBI
	ddc:  620  Thêm vào giỏ

Foundations of cryptography : a primer
	Tác giả: Oded Goldreich
	Xuất bản: Hanover: Now Publishers , 2005
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.82  Thêm vào giỏ

The Algorithm Design Manual [electronic resource]
	Tác giả: Steven S Skiena
	Xuất bản: London: Springer-Verlag London , 2008.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

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ỏ

Explaining the computational mind
	Tác giả: Marcin Mi�kowski
	Xuất bản: Cambridge, Massachusetts: The MIT Press , 2013
	Bộ sưu tập: NCBI
	ddc:  2013 E-215  Thêm vào giỏ

Intelligent engineering informatics
	Tác giả:
	Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Computability [electronic resource]
	Tác giả: George Tourlakis
	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ỏ

The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine
	Tác giả: Charles Petzold
	Xuất bản: Indianapolis, IN: Wiley Pub , 2008
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.352  Thêm vào giỏ

Algorithms and theory of computation handbook. General concepts and techniques
	Tác giả: Mikhail J Atallah, Marina Blanton
	Xuất bản: Boca Raton, Fla: Taylor & Francis , 2010.
	Bộ sưu tập: Sách tra cứu
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Algorithms and theory of computation handbook. Special topics and techniques
	Tác giả: Mikhail J Atallah, Marina Blanton
	Xuất bản: Boca Raton, Fla: Chapman & Hall/CRC , 2010
	Bộ sưu tập: Sách tra cứu
	eBook (pdf) ddc:  005.1  Thêm vào giỏ