Chapter 1 Introduction
	Tác giả:
	Xuất bản: Lodon ; New York: Taylor & Francis , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  418.020285  Thêm vào giỏ

The Everyday Life of an Algorithm
	Tác giả: Daniel Neyland
	Xuất bản: Cham: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	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ỏ

Introduction to Scientific Programming with Python
	Tác giả: Joakim Sundnes
	Xuất bản: Cham, Switzerland: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.133  Thêm vào giỏ

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ỏ

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, F...
	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ỏ

Roboter für Assistenzfunktionen Konzeptstudien für die Interaktion in der Praxis
	Tác giả:
	Xuất bản: KIT Scientific Publishing , 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Mathematical Aspects of Logic Programming Semantics
	Tác giả: Pascal Hitzler, Anthony Seda
	Xuất bản: Boca Raton, FL: Taylor & Francis , 2011
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
	Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   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ỏ