Loại tài liệu:    Chỉ tìm trong: 
Tìm được 31 kết quả
The formal semantics of programming languages : an introduction
Tác giả: G Winskel
Xuất bản: Cambridge Massachusetts: MIT Press, 1993
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.131
 
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
Tác giả: Luís Caires, Luís Caires
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Amal Ahmed
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
XcalableMP PGAS Programming Language [electronic resource] : From Programming Model to Applications
Tác giả: Mitsuhisa Sato
Xuất bản: Singapore: Springer Singapore Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.13
 
Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Peter Müller
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:  005.13
 
Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Caires Luís
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
Algebraic semantics of imperative programs
Tác giả: Joseph Goguen, Grant Malcolm
Xuất bản: Cambridge Massachusetts: MIT Press, 1996
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.131
 
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
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
 
TouchDevelop [electronic resource] : Programming on the Go
Tác giả: Nigel Horspool, Judith Bishop, Nikolai Tillmann
Xuất bản: : Springer Nature, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.76
 
Artificial Intelligence with Python [electronic resource]
Tác giả: Teik Toe Teoh, Zheng Rong
Xuất bản: Singapore: Springer Nature Singapore Imprint Springer, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
1 2 3 Tiếp

Truy cập nhanh danh mục