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 2305 kết quả
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
Tác giả: Wojciech Mostowski, Mattias Ulbrich
Xuất bản: Springer Nature , 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.112
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Ne...
Tác giả: Jos CM Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J Woeginger
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Common SAP R/3 Functions Manual [electronic resource]
Tác giả: William Lawlor
Xuất bản: London: Springer London : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automata, Languages and Programming [electronic resource] : 31st International Colloquium, ICALP 2004, Turku, Finland, J...
Tác giả: Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Business Process Modelling with ARIS [electronic resource] : A Practical Guide
Tác giả: Rob Davis
Xuất bản: London: Springer London : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
C++ and Object-Oriented Numeric Computing for Scientists and Engineers [electronic resource]
Tác giả: Daoqi Yang
Xuất bản: New York, NY: Springer New York : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.11
 Thêm vào giỏ
 
Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, Jul...
Tác giả: Jan van Leeuwen, Fernando Orejas, Paul G Spirakis
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.1
 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ỏ
 
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