Loại tài liệu:    Chỉ tìm trong: 
Tìm được 8 kết quả
The Many and the One : A Philosophical Study of Plural Logic
Tác giả: Salvatore Florio, Øystein Linnebo
Xuất bản: Oxford: Oxford University Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Warren's abstract machine : a tutorial reconstruction
Tác giả: Hassan A�it-Kaci
Xuất bản: Cambridge Massachusetts: MIT Press, 1991
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 
Concepts in Action : Representation, Learning, and Application
Tác giả: Lucas Bechberger, Lucas Bechberger, Kai-Uwe Kühnberger, Kai-Uwe Kühnberger, Mingya Liu, Mingya Liu
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSAC...
Tác giả: Stefan Kiefer, Christine Tasson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Inquisitive Semantics
Tác giả: Ivano Ciardelli, Jeroen Groenendijk, Floris Roelofsen
Xuất bản: Oxford UK: Oxford University Press, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part o...
Tác giả: Stefan Kiefer, Stefan Kiefer, Christine Tasson, Christine Tasson
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Par...
Tác giả: Nobuko Yoshida
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.13
 
Workflow patterns : the definitive guide
Tác giả: Nick Russell, Wil van der Aalst, Arthur Ter Hofstede
Xuất bản: Cambridge Massachusetts: MIT Press, 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  658.53
 
1

Truy cập nhanh danh mục