Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
51-60 trong số 159 kết quả
Computation Engineering [electronic resource] : Applied Automata Theory and Logic
Tác giả: Ganesh Gopalakrishnan
Xuất bản: Boston, MA: Springer Science+Business Media LLC , 2006.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Springer Nature , 2018
Bộ sưu tập: NCBI
ddc:  670.42
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Springer Nature , 2018
Bộ sưu tập: NCBI
ddc:  670.42
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 Thêm vào giỏ
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Springer Nature , 2018
Bộ sưu tập: NCBI
ddc:  004.24
 Thêm vào giỏ
 
Aspects of Molecular Computing [electronic resource] : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
Tác giả: Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
Math proofs demystified elektronisk ressurs
Tác giả: Stan Gibilisco
Xuất bản: New York: McGraw-Hill , c2005
Bộ sưu tập: NCBI
ddc:  511.36
 Thêm vào giỏ
 
Tracking reason : proof, consequence, and truth
Tác giả: Jody Azzouni
Xuất bản: Oxford ; New York: Oxford University Press , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 Thêm vào giỏ
 
Math proofs demystified elektronisk ressurs
Tác giả: Stan Gibilisco
Xuất bản: New York: McGraw-Hill , 2005
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 Thêm vào giỏ
 
Descriptive and normative approaches to human behavior
Tác giả: Ehtibar N Dzhafarov, Lacey Perry
Xuất bản: New Jersey: World Scientific , 2012.
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  155.2
 Thêm vào giỏ
 
Trước 4 5 6 7 8 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media