Soft errors in modern electronic systems
	Tác giả: Michael Nicolaidis
	Xuất bản: New York: Springer, 2011
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.395  Thêm vào giỏ

Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic
	Tác giả: Flemming Nielson, Flemming Nielson, David Sands, David Sands
	Xuất bản: : Springer Nature, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

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

High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet
	Tác giả: Joanna Kołodziej, Horacio González-Vélez, Horacio González-Vélez, Joanna Kołodziej
	Xuất bản: Cham Switzerland: Springer Nature, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.11  Thêm vào giỏ

and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
	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] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague
	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ỏ

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ỏ

of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
	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 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ỏ