Mathematica Moravica
	Tác giả:
	Xuất bản: University of Kragujevac, Faculty of Technical Sciences Čačak, Serbia , 2018
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Chance Discovery [electronic resource]
	Tác giả: Peter McBurney, Yukio Ohsawa
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Ne...
	Tác giả: Jos CM Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J Woeginger
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000, Geneva, Switzerla...
	Tác giả: Ugo Montanari, Jose DP Rolim, Emo Welzl
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2000.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September...
	Tác giả: Thomas Sturm, Christoph Zengler
	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:  006.3  Thêm vào giỏ

Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, Decembe...
	Tác giả: Jean-Pierre Jouannaud, Zhong Shao
	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ỏ

Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerla...
	Tác giả: Luca Aceto, Monika Henzinger, Jiří Sgall
	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:  518.1  Thêm vào giỏ

Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December ...
	Tác giả: Chris Hawblitzel, Dale Miller
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
	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ỏ

Artificial Life and Evolutionary Computation [electronic resource] : 14th Italian Workshop, WIVACE 2019, Rende, Italy, S...
	Tác giả: Franco Cicirelli, Antonio Guerrieri, Clara Pizzuti, Annalisa Socievole, Giandomenico Spezzano, Andrea Vinci
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ