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: Cham, Switzerland: 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: 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ỏ

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
	Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
	Xuất bản: Cham, Switzerland: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.24  Thêm vào giỏ

Modeling of the Phase Change Material of a Hybrid Storage using the Finite Element Method
	Tác giả: Lukas Kasper
	Xuất bản: Vienna: TU Wien Academic Press , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  620  Thêm vào giỏ

Operations Research and Decisions
	Tác giả:
	Xuất bản: Wrocław University of Science and Technology , 2013
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

IET Intelligent Transport Systems
	Tác giả:
	Xuất bản: Wiley , 2021
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Computational Psychiatry
	Tác giả:
	Xuất bản: Ubiquity Press , 2018
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Proceedings of the International Conference on Applied Innovations in IT
	Tác giả:
	Xuất bản: Anhalt University of Applied Sciences , 2023
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as P...
	Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

The Multi-Agent Transport Simulation MATSim
	Tác giả: Kay W Axhausen, Andreas Horni, Andreas Horni, Kai Nagel, Kai Nagel, Kay W Axhausen
	Xuất bản: London: Ubiquity Press , 2016
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  388.40285  Thêm vào giỏ