Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
	Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
	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ỏ

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ỏ

Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R : A Workbook
	Tác giả: Joseph F Hair Jr, Nicholas P Danks, G Tomas M Hult, Soumya Ray, Christian M Ringle, Marko Sarstedt
	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:  511.42  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ỏ

Compact representations of structured BFGS matrices
	Tác giả: Johannes J Brust, Di, Sven Leyffer, Cosmin G Petra, Zichao
	Xuất bản: , 2022
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  512.897  Thêm vào giỏ

Risk Quantification and Allocation Methods for Practitioners
	Tác giả: Jaume Belles Sampera, Montserrat Guillén, Miguel Santolino
	Xuất bản: Amsterdam: Amsterdam University Press , 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  658.155  Thêm vào giỏ

Astrophysical recipes : the art of AMUSE
	Tác giả: Simon Portegies Zwart, S McMillan
	Xuất bản: Bristol [England] (Temple Circus, Temple Way, Bristol BS1 6HG, UK: IOP Publishing , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  522.85  Thêm vào giỏ

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
	Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
	Xuất bản: TU Wien Academic Press , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Classification and Data Science in the Digital Age
	Tác giả: Paula Brito, Paula Brito, Dias José G, Dias José G, Berthold Lausen, Berthold Lausen, Angela Montanari, Angela Montanari, Rebecca Nugent, Rebecca Nugent
	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ỏ

Geoinformatics FCE CTU
	Tác giả:
	Xuất bản: Czech Technical University in Prague , 2015
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ