Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 54 kết quả
Basic category theory for computer scientists
Tác giả: Benjamin C Pierce
Xuất bản: Cambridge Massachusetts: MIT Press, 1991
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Cellular automata machines : a new environment for modeling
Tác giả: Tommaso Toffoli, Norman Margolus
Xuất bản: Cambridge Massachusetts: MIT Press, 1987
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
The Continued Exercise of Reason : Public Addresses by George Boole
Tác giả: Brendan Dooley
Xuất bản: Cambridge: MIT Press, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Discrete Mathematics [electronic resource] : An Open Introduction
Tác giả: Oscar Levin
Xuất bản: North Charleston: CreateSpace Independent Publishing Platform, Aug 2016
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Roads to infinity : the mathematics of truth and proof
Tác giả: John Stillwell
Xuất bản: Natick Mass: A K Peters, c2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
The foundations of mathematics
Tác giả: Ian Stewart, David Orme Tall
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Words, semigroups & transductions : Festschrift in honor of Gabriel Thierrin
Tác giả: Gheorghe Păun, Masami Itō, She Yu, Gabriel Thierrin
Xuất bản: River Edge NJ: World Scientific, c2001
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
E-recursion, forcing and C*-algebras
Tác giả: C-T Chong
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Category theory
Tác giả: Steve Awodey
Xuất bản: Oxford New York: Oxford University Press, 2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Non-Archimedean analysis : a systematic approach to rigid analytic geometry
Tác giả: S Bosch, U Güntzer, Reinhold Remmert
Xuất bản: Berlin: SpringerVerlag, 1984
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục