Loại tài liệu:    Chỉ tìm trong: 
2791-2800 trong số 3002 kết quả
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995
Tác giả: Leon S Sterling
Xuất bản: Cambridge Massachusetts: MIT Press, 1995
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Inductive logic programming : from machine learning to software engineering
Tác giả: Francesco Bergadano, Daniele Gunetti
Xuất bản: Cambridge Massachusetts: MIT Press, 1996
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.11
 
The High performance Fortran handbook
Tác giả: Charles H Koelbel
Xuất bản: Cambridge Massachusetts: MIT Press, 1994
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.133
 
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
 
Logic programming : proceedings of the 1995 international symposium
Tác giả: John Lloyd
Xuất bản: Cambridge Massachusetts: MIT Press, 1995
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Speaking code : coding as aesthetic and political expression
Tác giả: Geoff Cox, Alex McLean
Xuất bản: Cambridge Massachusetts: MIT Press, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Algorithms unlocked
Tác giả: Thomas H Cormen
Xuất bản: Cambridge Massachusetts: MIT Press, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Quantum algorithms via linear algebra : a primer
Tác giả: Richard J Lipton, Kenneth W Regan
Xuất bản: Cambridge Massachusetts: MIT Press, 2014
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Once upon an algorithm : how stories explain computing
Tác giả: Martin Erwig
Xuất bản: Cambridge Massachusetts: MIT Press, 2017
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
The little typer
Tác giả: Daniel P Friedman, Duane Bibby, David Thrane Christiansen, Robert Harper, Conor McBride
Xuất bản: Cambridge: MIT Press, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 

Truy cập nhanh danh mục