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: 
11-20 trong số 88 kết quả
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Roy Dyckhoff
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2000.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 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ỏ
 
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ỏ
 
The Austin Protocol Compiler
Tác giả: Tommy M McGuire, Mohamed G Gouda
Xuất bản: kđ: Springer-Verlag New York Inc , 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.453
 Thêm vào giỏ
 
GCC : the complete reference
Tác giả: Arthur Griffith
Xuất bản: New York: McGraw-Hill/Osborne , 2002
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.453
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of...
Tác giả: Ugo Dal Lago, Christel Baier
Xuất bản: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays D...
Tác giả: Bob Coecke, Luke Ong, Prakash Panangaden
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : 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ỏ
 
Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune...
Tác giả: Deepak D'Souza, K Narayan Kumar
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Programming language processors in Java : compilers and interpreters
Tác giả: David A Watt, Deryck F Brown
Xuất bản: Harlow, England ; New York: Prentice Hall , 1999.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.453
 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ỏ
 
Trước 1 2 3 4 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