Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
1141-1150 trong số 1749 kết quả
Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Inf...
Tác giả: Gabriele Puppis
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, ...
Tác giả: Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
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:  005.11
 Thêm vào giỏ
 
Central European Functional Programming School [electronic resource] : First Central European Summer School, CEFP 2005, ...
Tác giả: Zoltán Horváth
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2006.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.11
 Thêm vào giỏ
 
Call-By-Push-Value [electronic resource] : A Functional/Imperative Synthesis
Tác giả: PB Levy
Xuất bản: Dordrecht: Springer Netherlands : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.45
 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ỏ
 
Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Ger...
Tác giả: Oliver Boldt, Helmut Jürgensen
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.45
 Thêm vào giỏ
 
Aspen plus : chemical engineering applications
Tác giả: Kamal I M Al-Malah
Xuất bản: ,
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  660.28
 Thêm vào giỏ
 
Make Arduino bots and gadgets : learning by discovery
Tác giả: Kimmo Karvinen, Tero Karvinen
Xuất bản: Sebastopol, CA: O'Reilly , 2011.
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  629.89
 Thêm vào giỏ
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Trước 113 114 115 116 117 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo