Ernst Denert Award for Software Engineering 2019 [electronic resource] : Practice Meets Foundations
	Tác giả: Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
	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:  005.1  Thêm vào giỏ

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 19th International Conference, X...
	Tác giả: Ademar Aguiar, Juan Garbajosa, Xiaofeng Wang
	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.1  Thêm vào giỏ

Automated Machine Learning [electronic resource] : Methods, Systems, Challenges
	Tác giả: Frank Hutter, Lars Kotthoff, Joaquin Vanschoren
	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:  006.3  Thêm vào giỏ

Semantic Systems. In the Era of Knowledge Graphs [electronic resource] : 16th International Conference on Semantic Syste...
	Tác giả: Mehwish Alam, Eva Blomqvist, Victor de Boer, Paul Groth, Tobias Käfer, Peter Kieseberg, Sabrina Kirrane, Albert Meroño-Peñuela, Harshvardhan J Pandit, Tassilo Pellegrini
	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:  006.33  Thêm vào giỏ

CyberParks - The Interface Between People, Places and Technology [electronic resource] : New Approaches and Perspectives
	Tác giả: Michiel de Lange, Martijn de Waal, Konstantinos Ioannidis, Therese Kenna, Gabriela Maksymiuk, Carlos Smaniotto Costa, Ina Šuklje Erjavec
	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.437  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ỏ

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ỏ

Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part
	Tác giả: Hana Chockler, Georg Weissenbacher
	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ỏ

Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as...
	Tác giả: Jordi Cabot, Heike Wehrheim
	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:  005.1  Thêm vào giỏ

Solving PDEs in Python [electronic resource] : The FEniCS Tutorial I
	Tác giả: Hans Petter Langtangen, Anders Logg
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ