Loại tài liệu:    Chỉ tìm trong: 
641-650 trong số 1289 kết quả
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
 
Reinventing the automobile : personal urban mobility for the 21st century
Tác giả: William J Mitchell, Chris Borroni-Bird, Lawrence D Burns
Xuất bản: Cambridge, Massachusetts: MIT Press , 2010.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  629.2
 
Control and freedom : power and paranoia in the age of fiber optics
Tác giả: Wendy Hui-Kyong Chun
Xuất bản: Cambridge, Massachusetts: MIT Press , 2006.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  303.4833
 

Truy cập nhanh danh mục