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ỏ

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
	Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
	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:   Thêm vào giỏ

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
	Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
	Xuất bản: Vienna: TU Wien Academic Press , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Innovative Learning Environments in STEM Higher Education : Opportunities, Challenges, and Looking Forward
	Tác giả: Jungwoo Ryoo, Jungwoo Ryoo, Kurt Winkelmann, Kurt Winkelmann
	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:  507.11  Thêm vào giỏ

Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federat...
	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ở
	eBook (pdf) ddc:  005.1015113  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
	Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
	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.1015113  Thêm vào giỏ

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 6th International Workshop, GKR 2020...
	Tác giả: Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
	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:  006.3  Thêm vào giỏ

Programming for Computations - Python [electronic resource] : A Gentle Introduction to Numerical Simulations with Python...
	Tác giả: Svein Linge, Hans Petter Langtangen
	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:  004  Thêm vào giỏ

Programming for Computations - MATLAB/Octave [electronic resource] : A Gentle Introduction to Numerical Simulations wit...
	Tác giả: Svein Linge, Hans Petter Langtangen
	Xuất bản: Cham: Springer Nature , 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, Oct...
	Tác giả: Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent
	Xuất bản: New York, NY: Springer Nature , 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.7  Thêm vào giỏ