Loại tài liệu:    Chỉ tìm trong: 
811-820 trong số 1292 kết quả
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
 
Social modeling for requirements engineering
Tác giả: Eric S K Yu
Xuất bản: Cambridge Massachusetts: MIT Press, 2011
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
The comingled code : open source and economic development
Tác giả: Joshua Lerner, Mark Schankerman
Xuất bản: Cambridge Massachusetts: MIT Press, 2010
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.3
 

Truy cập nhanh danh mục