Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferenc...
	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 ...
	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ỏ

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ỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
	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ỏ

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

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
	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, Proceedings, Part II
	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 ...
	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ỏ

Internet of Things. Information Processing in an Increasingly Connected World : First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018
	Tác giả: Leon Strous, Vinton G Cerf, Vinton G Cerf, Leon Strous
	Xuất bản: Cham: Springer Nature , 2019
	Bộ sưu tập: NCBI
	ddc:  004.678  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ỏ