Autonomous Control for a Reliable Internet of Services [electronic resource] : Methods, Models, Approaches, Techniques, Algorithms, and Tools
	Tác giả: Ivan Ganchev, Hans van den Berg, R D van der Mei
	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:  004.6  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Stochastics of Environmental and Financial Economics
	Tác giả: Fred Espen Benth, Giulia Di Nunno
	Xuất bản: Cham: Springer, 2015
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  519  Thêm vào giỏ

Stochastics of Environmental and Financial Economics
	Tác giả: Fred Espen Benth, Fred Espen Benth, Giulia Di Nunno, Giulia Di Nunno
	Xuất bản: Cham: Springer Nature, 2015
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  519  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
	Xuất bản: Cham Switzerland: Springer Nature, 2021
	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 : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin
	Tác giả: Heike Wehrheim, Jordi Cabot, Jordi Cabot, Heike Wehrheim
	Xuất bản: Cham: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1  Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Peter Müller
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.13  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
	Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
	Tác giả: Armin Biere, David Parker
	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:  004.0151  Thêm vào giỏ

Model Reduction for Circuit Simulation elektronisk ressurs
	Tác giả: Peter Benner, Michael Hinze, E Jan W ter Maten
	Xuất bản: Dordrecht: Springer Netherlands, 2011
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.3815  Thêm vào giỏ