Automata, Logics, and Infinite Games [electronic resource] : A Guide to Current Research
	Tác giả: Erich Grädel, Wolfgang Thomas, Thomas Wilke
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Computability and Complexity Theory [electronic resource]
	Tác giả: Steven Homer, Alan L Selman
	Xuất bản: New York, NY: Springer US : 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ỏ

Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice
	Tác giả: Stefan Kiefer, Christine Tasson
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002
	Tác giả: Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
	Tác giả: Christel Baier, Christel Baier, Ugo Dal Lago, Ugo Dal Lago
	Xuất bản: Cham: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Automata and Languages [electronic resource] : Theory and Applications
	Tác giả: Alexander Meduna
	Xuất bản: London: Springer London : 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ỏ

Computation, Physics and Beyond [electronic resource] : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday
	Tác giả: Michael J Dinneen, Bakhadyr Khoussainov, Prof Andre Nies
	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:  518.1  Thêm vào giỏ

Building an Enterprise Architecture Practice [electronic resource] : Tools, Tips, Best Practices, Ready-to-Use Insights
	Tác giả: Martin van den Berg, Marlies van Steenbergen
	Xuất bản: Dordrecht: Springer Netherlands : Imprint: Springer , 2006.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Unified Principal Component Analysis for Sparse and Dense Functional Data under Spatial Dependency
	Tác giả: Haozhe Zhang, Yehua Li
	Xuất bản: , 2020
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  515.7  Thêm vào giỏ

Adaptive estimation for some nonparametric instrumental variable models
	Tác giả: Fabian Dunker
	Xuất bản: , 2015
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  003.75  Thêm vào giỏ