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ỏ

Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC14...
	Tác giả: Carla Ferreira, Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
	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:  621.395  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSAC...
	Tác giả: Mikołaj Bojańczyk, Alex Simpson
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence
	Tác giả: Mario Alemi
	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.0151  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ỏ

High-Performance Modelling and Simulation for Big Data Applications [electronic resource] : Selected Results of the COST...
	Tác giả: González-Vélez Horacio, Joanna Kołodziej
	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:  004.24  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ỏ

Knowledge Graphs and Big Data Processing
	Tác giả: Valentina Janev, Damien Graux, Damien Graux, Hajira Jabeen, Hajira Jabeen, Valentina Janev, Emanuel Sallinger, Emanuel Sallinger
	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:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference,...
	Tác giả: Dirk Beyer, Marieke Huisman
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1015113  Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Par...
	Tác giả: Nobuko Yoshida
	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:  005.13  Thêm vào giỏ