In search of stupidity : over 20 years of high-tech marketing disasters
	Tác giả: Merrill R Chapman
	Xuất bản: Berkeley, CA : New York: Apress ; Distributed to the book trade worldwide by Springer-Verlag , 2006
	Bộ sưu tập: Xã hội, Kinh tế, Luật
	eBook (pdf) ddc:  338.4  Thêm vào giỏ

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ỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	Xuất bản: Springer Nature , 2019
	Bộ sưu tập: NCBI
	ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS...
	Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
	Xuất bản: Springer Nature , 2019
	Bộ sưu tập: NCBI
	ddc:  005.1015113  Thêm vào giỏ

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
	Tác giả: Caires LuísCaires Luís
	Xuất bản: Springer Nature , 2019
	Bộ sưu tập: NCBI
	ddc:  005.1  Thêm vào giỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	Xuất bản: Springer Nature , 2019
	Bộ sưu tập: NCBI
	ddc:  670.42  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Vojnar Tomáš, Vojnar Tomáš, Lijun Zhang, Lijun Zhang
	Xuất bản: Springer Nature , 2019
	Bộ sưu tập: NCBI
	ddc:  005.1015113  Thêm vào giỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	Xuất bản: Springer Nature , 2019
	Bộ sưu tập: NCBI
	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: Springer Nature , 2019
	Bộ sưu tập: NCBI
	ddc:   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: NCBI
	ddc:  005.8  Thêm vào giỏ