Loại tài liệu:    Chỉ tìm trong: 
251-260 trong số 619 kết quả
Soft computing applications for renewable energy and energy efficiency
Tác giả: Maria del Socorro Garcia Cascales
Xuất bản: Hershey, PA: Information Science Reference , 2015
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.0420285
 
The history of Low German negation
Tác giả: Anne Breitbarth
Xuất bản: Oxford, United Kingdom: Oxford University Press , 2014.
Bộ sưu tập: Ngôn ngữ
eBook (pdf)
ddc:  439.45
 
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of...
Tác giả: Ugo Dal Lago, Christel Baier
Xuất bản: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
The Art of Abduction
Tác giả: Igor Douven
Xuất bản: Cambridge: The MIT Press , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  160
 
Argumentation Machines [electronic resource] : New Frontiers in Argument and Computation
Tác giả: TJ Norman, C Reed
Xuất bản: Dordrecht: Springer Netherlands : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, P...
Tác giả: David McAllester
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2000.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Combinatorics, Computability and Logic [electronic resource] : Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
Tác giả: CS Calude, MJ Dinneen, S Sburlan
Xuất bản: London: Springer London : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.1
 
Tetralogue : I'm right, you're wrong
Tác giả: Timothy Williamson
Xuất bản: ,
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  100
 
Using Logic Pro X's updated score editor
Tác giả: Jay Asher
Xuất bản: Boston, MA: Cengage Learning PTR , ©2015.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.133
 
Deep beauty : understanding the quantum world through mathematical innovation
Tác giả: Hans Halvorson
Xuất bản: Cambridge ; New York: Cambridge University Press , 2011.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  530.120151
 

Truy cập nhanh danh mục