Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao...
	Tác giả: Zhiming Liu, Anders P Ravn
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Artificial Immune Systems [electronic resource] : 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009...
	Tác giả: Uwe Aickelin, Paul S Andrews, Emma Hart, Andrew Hone, Nick D L Owens, Jon Timmis, Andy Tyrrell
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Bioinspired Applications in Artificial and Natural Computation [electronic resource] : Third International Work-Conferen...
	Tác giả: Jose-Ramon Alvarez Sanchez, José M Ferrández, Jose Mira, Felix Paz, Javier Toledo
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Cognition Beyond the Brain [electronic resource] : Computation, Interactivity and Human Artifice
	Tác giả: Stephen J Cowley, Frédéric Vallée-Tourangeau
	Xuất bản: London: Springer London : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.019  Thêm vào giỏ

Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20...
	Tác giả: Juhani Karhumäki, Arto Lepistö, Luca Zamboni
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays D...
	Tác giả: Bob Coecke, Luke Ong, Prakash Panangaden
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australi...
	Tác giả: Georges Gonthier, Michael Norrish
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Cellular Automata and Discrete Complex Systems [electronic resource] : 19th International Workshop, AUTOMATA 2013, Gieße...
	Tác giả: Jarkko Kari, Martin Kutrib, Andreas Malcher
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 201...
	Tác giả: Thierry Lecroq, Laurent Mouchard
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Cellular Automata and Discrete Complex Systems [electronic resource] : 25th IFIP WG 1.5 International Workshop, AUTOMATA...
	Tác giả: Alonso Castillo-Ramirez, Pedro P B de Oliveira
	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:  004.0151  Thêm vào giỏ