Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 355 kết quả
A Dynamic Model of Performative Human-ML Collaboration: Theory and Empirical Evidence
Tác giả: Tom Sühr, Chiara Farronato, Samira Samadi
Xuất bản: , 2024
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  004.019
 
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, N.J: World Scientific , c2001
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Foundations of XML processing : the tree-automata approach [electronic resource]
Tác giả: Haruo Hosoya
Xuất bản: Cambridge, U.K. ; New York: Cambridge University Press , 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.74
 
Belief Revision in Non-Classical Logics [electronic resource]
Tác giả: Márcio Moretto Ribeiro
Xuất bản: London: Springer London : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Categories and Types in Logic, Language, and Physics [electronic resource] : Essays dedicated to Jim Lambek on the Occas...
Tác giả: Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Coalgebraic Methods in Computer Science [electronic resource] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colo...
Tác giả: Ichiro Hasuo
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland
Tác giả: Peter Müller, Peter Müller
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Deep reinforcement learning in action
Tác giả: Brandon Brown, Alexander Zai
Xuất bản: New York: Manning Publications Co , 2020
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 
Machine learning for adaptive many-core machines -- a practical approach
Tác giả: Noel Lopes, Bernardete Ribeiro
Xuất bản: Cham: Springer , 2015.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.31
 

Truy cập nhanh danh mục