Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference,...
	Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the Eu...
	Tác giả: Lujo Bauer, Ralf Küsters
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference,...
	Tác giả: Armin Biere, David Parker
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	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ỏ

Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop o...
	Tác giả: Yasuhiro Suzuki, Toshiyuki Nakagaki, Toshiyuki Nakagaki, Yasuhiro Suzuki
	Xuất bản: Springer Nature , 2013
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as...
	Tác giả: Alessandra Russo, Andy Schürr
	Xuất bản: Cham, Switzerland: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1  Thêm vào giỏ

AI Knowledge Transfer from the University to Society : Applications in High-Impact Sectors
	Tác giả: José Guadix Martín, Milica Lilic, Milica Lilic, José Guadix Martín, Marina Rosales Martínez, Marina Rosales Martínez
	Xuất bản: Boca Raton, FL ; Abingdon, Oxon: Taylor & Francis , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Par...
	Tác giả: Caires Luís
	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:  005.13  Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Par...
	Tác giả: Peter Müller
	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:  005.13  Thêm vào giỏ

Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
	Tác giả: Isil Dillig, Serdar Tasiran
	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:  005.1  Thêm vào giỏ