Principles of security and trust : 7th International Conference, POST 2018 Held as Part of the European Joint Conference...
	Tác giả: Lujo Bauer, Ralf Küsters
	Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference,...
	Tác giả: Dirk Beyer, Marieke Huisman
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1015113  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 : 24th International Conference, TACAS 2018 Held as Pa...
	Tác giả: Dirk Beyer, Marieke Huisman
	Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as...
	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ỏ

Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSAC...
	Tác giả: Christel Baier, Ugo Dal Lago
	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.1015113  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
	Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
	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.1015113  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ỏ

Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the Eu...
	Tác giả: Flemming Nielson, David Sands
	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.8  Thêm vào giỏ

Internet of Things. Information Processing in an Increasingly Connected World [electronic resource] : First IFIP Interna...
	Tác giả: Vinton G Cerf, Leon Strous
	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:  004.6  Thêm vào giỏ