Loại tài liệu:    Chỉ tìm trong: 
Tìm được 33 kết quả
Algorithmic program debugging
Tác giả: Ehud Y Shapiro
Xuất bản: Cambridge Massachusetts: MIT Press, 1983
Bộ sưu tập: Tài liệu truy cập mở
ddc:  001.642
 
Real world OCaml : functional programming for the masses
Tác giả: Yaron Minsky, Anil Madhavapeddy
Xuất bản: Cambridge: Cambridge University Press, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.117
 
The reasoned schemer
Tác giả: Daniel P Friedman, William E Byrd, Oleg Kiselyov
Xuất bản: Cambridge Massachusetts: MIT Press, 2005
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.133
 
C# precisely
Tác giả: Peter Sestoft, Henrik I Hansen
Xuất bản: Cambridge Massachusetts: MIT Press, 2004
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.133
 
The definition of standard ML
Tác giả: R Milner
Xuất bản: Cambridge Massachusetts: MIT Press, 1997
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.133
 
A little Java, a few patterns
Tác giả: Matthias Felleisen, Daniel P Friedman
Xuất bản: Cambridge Massachusetts: MIT Press, 1998
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.133
 
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
 
Performance and evaluation of Lisp systems
Tác giả: Richard P Gabriel
Xuất bản: Cambridge Massachusetts: MIT Press, 1985
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.133
 
Compiler construction using Java, JavaCC, and Yacc
Tác giả: Anthony J Dos Reis
Xuất bản: Hoboken New Jersey: WileyIEEE Computer Society, 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.453
 
The little prover
Tác giả: Daniel P Friedman, Carl Eastlund
Xuất bản: Cambridge Massachusetts: MIT Press, 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.36028563
 
1 2 3 Tiếp

Truy cập nhanh danh mục