Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning
	Tác giả: Bob Coecke, Aleks Kissinger
	Xuất bản: ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  530.12  Thêm vào giỏ

Visión Antataura
	Tác giả:
	Xuất bản: Universidad de Panamá , 2022
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part o...
	Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
	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ỏ

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ỏ

Fading Foundations : Probability and the Regress Problem
	Tác giả: David Atkinson, Jeanne Peijnenburg
	Xuất bản: Cham, Switzerland: Springer Nature , 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  121  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ỏ

Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSAC...
	Tác giả: Stefan Kiefer, Christine Tasson
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Fading Foundations [electronic resource] : Probability and the Regress Problem
	Tác giả: David Atkinson, Jeanne Peijnenburg
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  120  Thêm vào giỏ

The Everyday Life of an Algorithm [electronic resource]
	Tác giả: Daniel Neyland
	Xuất bản: Cham: Springer International Publishing : Imprint: Palgrave Pivot , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  303.483  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ỏ