Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
	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, TACAS 2020, Held as Part of the European Joint Conferences on Theory
	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ỏ

Managed Software Evolution [electronic resource]
	Tác giả: Michael Goedicke, Wilhelm Hasselbring, Jan Keim, Lukas Märtin, Ralf Reussner, Birgit Vogel-Heuser
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
	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ỏ

Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software
	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ỏ

Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software
	Tác giả: Esther Guerra, Mariëlle Stoelinga
	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:  005.1  Thêm vào giỏ

Electromagnetic Wave Scattering by Aerial and Ground Radar Objects
	Tác giả: Oleg I Sukharevsky, Oleg I Sukharevsky
	Xuất bản: Boca Raton, FL: Taylor & Francis , 2015
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  621.3848  Thêm vào giỏ

Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software
	Tác giả: Reiner Hähnle, Wil van der Aalst
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1  Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Amal Ahmed
	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.13  Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	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ỏ