Loại tài liệu:    Chỉ tìm trong: 
651-660 trong số 1291 kết quả
Materialized views : techniques, implementations, and applications
Tác giả: Ashish Gupta, Inderpal Singh Mumick
Xuất bản: Cambridge Massachusetts: MIT Press, 1999
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.74068
 
Quantum computing without magic : devices
Tác giả: Zdzislaw Meglicki
Xuất bản: Cambridge Massachusetts: MIT Press, 2008
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.1
 
Numerica : a modeling language for global optimization
Tác giả: Pascal Van Hentenryck, Yves Deville, Laurent Michel
Xuất bản: Cambridge Massachusetts: MIT Press, 1997
Bộ sưu tập: Tài liệu truy cập mở
ddc:  519.3
 
The LOCUS distributed system architecture
Tác giả: Gerald Popek, Bruce James Walker
Xuất bản: Cambridge Massachusetts: MIT Press, 1985
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.43
 
Constraint-based reasoning
Tác giả: Eugene C Freuder, Alan K Mackworth
Xuất bản: Cambridge Massachusetts: MIT Press, 1994
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 
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
 
Basic category theory for computer scientists
Tác giả: Benjamin C Pierce
Xuất bản: Cambridge Massachusetts: MIT Press, 1991
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
From logic to logic programming
Tác giả: Kees Doets
Xuất bản: Cambridge Massachusetts: MIT Press, 1994
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Data-parallel programming on MIMD computers
Tác giả: Philip J Hatcher, Michael J Quinn
Xuất bản: Cambridge Massachusetts: MIT Press, 1991
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.2
 
Artificial intelligence and learning environments
Tác giả: William J Clancey, Elliot Soloway
Xuất bản: Cambridge Massachusetts: MIT Press, 1990
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  371.334
 

Truy cập nhanh danh mục