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

DoWhy: An End-to-End Library for Causal Inference
	Tác giả: Amit Sharma, Emre Kiciman
	Xuất bản: , 2020
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  512.897  Thêm vào giỏ

Optimal Surface Fitting of Point Clouds Using Local Refinement Application to GIS Data
	Tác giả: Gaël Kermarrec, Tor Dokken, Vibeke Skytt
	Xuất bản: Cham: Springer Nature , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

CABology: Value of Cloud, Analytics and Big Data Trio Wave [electronic resource]
	Tác giả: Nitin Upadhyay
	Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2018.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.7  Thêm vào giỏ

Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, ...
	Tác giả: Luis Caires, Guiseppe F Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

CAD and GIS integration
	Tác giả: Burcu Akinci, Hassan A Karimi
	Xuất bản: Boca Raton: CRC Press , 2010
	Bộ sưu tập: Lịch sử, Địa lý
	eBook (pdf) ddc:  910.285  Thêm vào giỏ

Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, Octo...
	Tác giả: Czachórski Tadeusz, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent
	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ỏ

Theory and Practice of Uncertain Programming [electronic resource]
	Tác giả: Baoding Liu, Janusz Kacprzyk
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg , 2009.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  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ỏ

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ỏ