Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 63 kết quả
Programming Languages and Systems [electronic resource] : 32nd European Symposium on Programming, ESOP 2023, Held as Par...
Tác giả: Thomas Wies
Xuất bản: Cham: Springer Nature Switzerland : Imprint: Springer , 2023.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.45
 Thêm vào giỏ
 
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Tác giả: Jean-Pierre Jouannaud, Zhong Shao
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Tác giả: Chris Hawblitzel, Dale Miller
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Tác giả: Georges Gonthier, Michael Norrish
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 Thêm vào giỏ
 
Compilers : principles, techniques, & tools
Tác giả: Alfred V AhoAlfred V Aho
Xuất bản: Boston: Pearson/Addison Wesley , 2007
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.453
 Thêm vào giỏ
 
The definitive guide to GCC, second edition [electronic resource]
Tác giả: William Von Hagen
Xuất bản: Berkeley, CA: Apress , 2006
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.453
 Thêm vào giỏ
 
Engineering a compiler
Tác giả: Keith D Cooper, Linda Torczon
Xuất bản: Amsterdam ; Boston: Elsevier/Morgan Kaufmann , 2012
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.453
 Thêm vào giỏ
 
Automatic Quantum Computer Programming [electronic resource] : A Genetic Programming Approach
Tác giả: Lee Spector
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
C compilers for ASIPs : automatic compiler generation with LISA [electronic resource]
Tác giả: Manuel Hohenauer, Rainer Leupers
Xuất bản: New York: Springer , 2010.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.453
 Thêm vào giỏ
 
Unlocking Microsoft C# v2.0 programming secrets [electronic resource]
Tác giả: Richard P Braden
Xuất bản: Plano, Tex: Wordware Pub , 2006
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  005.133
 Thêm vào giỏ
 
1 2 3 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media