Arrow's Theorem Through a Fixpoint Argument
	Tác giả: Frank M V Feys, Helle Hvid Hansen
	Xuất bản: , 2019
	Bộ sưu tập: Metadata
	ddc:  511.36  Thêm vào giỏ

Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Ger...
	Tác giả: Oliver Boldt, Helmut Jürgensen
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.45  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ỏ

Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Aust...
	Tác giả: Pascal Paillier, Ingrid Verbauwhede
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2007.
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.824  Thêm vào giỏ

Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–...
	Tác giả: Robert Mercaş, Daniel Reidenbach
	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ỏ

Combinatorial Algorithms [electronic resource] : 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019,...
	Tác giả: Charles J Colbourn, Roberto Grossi, Nadia Pisanti
	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:  004.0151  Thêm vào giỏ

Logical Methods in Computer Science
	Tác giả:
	Xuất bản: Logical Methods in Computer Science e.V , 2004
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation
	Tác giả: Peter A Streufert
	Xuất bản: , 2021
	Bộ sưu tập: Metadata
	ddc:  519.3  Thêm vào giỏ

The Nature of Physical Computation
	Tác giả:
	Xuất bản: Oxford University Press , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Digital design and computer architecture
	Tác giả: Sarah L Harris, David Money Harris
	Xuất bản: Amsterdam: Elsevier/Morgan Kaufmann , 2016
	Bộ sưu tập: Khoa học ứng dụng
	Bản in ddc:  621.39  Thêm vào giỏ