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ỏ

Dualities in graphs and digraphs
	Tác giả:
	Xuất bản: Berlin: Universitätsverlag der Technischen Universität Berlin , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Utopia Computer The "New" in Architecture?
	Tác giả:
	Xuất bản: Berlin: Universitätsverlag der Technischen Universität Berlin , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Modern Cryptography Volume 1 : A Classical Introduction to Informational and Mathematical Principle
	Tác giả: Zhiyong Zheng
	Xuất bản: Singapore: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Urban Operating Systems : Producing the Computational City
	Tác giả: Andrés Luque-Ayala, Simon Marvin
	Xuất bản: Cambridge: The MIT Press , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  307.760285  Thêm vào giỏ

Ancient and Archaic Genomes
	Tác giả: David Caramelli, David Caramelli, Martina Lari, Martina Lari, Stefania Vai, Stefania Vai
	Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Number Theory and Symmetry
	Tác giả: Michel Planat, Michel Planat
	Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Quantifying the Blockchain Trilemma: A Comparative Analysis of Algorand, Ethereum 2.0, and Beyond
	Tác giả: Yihang Fu, Chuang Hu, Mingwei Jing, Ye Wang, Peilin Wu, Luyao Zhang, Jiaolun Zhou
	Xuất bản: , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  332.42  Thêm vào giỏ

Robust Time Series Causal Discovery for Agent-Based Model Validation
	Tác giả: Gene Yu, Ce Guo, Wayne Luk
	Xuất bản: , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  001.434  Thêm vào giỏ

Can Machines Think Like Humans? A Behavioral Evaluation of LLM-Agents in Dictator Games
	Tác giả: Ji Ma
	Xuất bản: , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  003.56  Thêm vào giỏ