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ả: Ugo Dal Lago, Christel Baier
	Xuất bản: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  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ỏ

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ỏ

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ỏ

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ỏ

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ỏ

Artificial Markets Modeling [electronic resource] : Methods and Applications
	Tác giả: Andrea Consiglio
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2007.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  330.015195  Thêm vào giỏ

Augmented Marked Graphs [electronic resource]
	Tác giả: King Sing Cheung
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Brain-Inspired Computing [electronic resource] : International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013...
	Tác giả: Lucio Grandinetti, Thomas Lippert, Nicolai Petkov
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Bridging Constraint Satisfaction and Boolean Satisfiability [electronic resource]
	Tác giả: Justyna Petke
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ