Loại tài liệu:    Chỉ tìm trong: 
31-40 trong số 54 kết quả
Computability : a mathematical sketchbook
Tác giả: D S Bridges
Xuất bản: New York: SpringerVerlag, 1994
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Classical descriptive set theory
Tác giả: A S Kechris
Xuất bản: New York: SpringerVerlag, 1995
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Introduction to Axiomatic Set Theory
Tác giả: Gaisi Takeuti, Wilson M Zaring
Xuất bản: New York: Springer, 1971
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Transition to Higher Mathematics Structure and Proof
Tác giả: Bob A Dumas, John E McCarthy
Xuất bản: St Louis Missouri: Open Scholarship, 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Petri Net : Theory and Applications
Tác giả: Vedran Kordic, Vedran Kordic
Xuất bản: Croatia: IntechOpen, 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Theory of Complexity : Definitions, Models, and Applications
Tác giả: Ricardo López-Ruiz, Ricardo López-Ruiz
Xuất bản: : IntechOpen, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Fuzzy Logic
Tác giả: Constantin Volosencu, Constantin Volosencu
Xuất bản: London UK: IntechOpen, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSAC...
Tác giả: Jean Goubault-Larrecq, Barbara König
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:  511.3
 
Logic and Automata
Tác giả:
Xuất bản: Amsterdam: Amsterdam University Press, 2008
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Logic and Automata : History and Perspectives
Tác giả: Jörg Flum, Jörg Flum, Erich Grädel, Erich Grädel, Thomas Wilke, Thomas Wilke
Xuất bản: Amsterdam: Amsterdam University Press, 2007
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 

Truy cập nhanh danh mục