Đă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 733 kết quả
Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers [electroni...
Tác giả: Martin Leucker
Xuất bản: Berlin: SpringerVerlag, 2008
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Contextual computing : models and applications
Tác giả: Robert Porzel
Xuất bản: Berlin New York: SpringerVerlag, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.35
 Thêm vào giỏ
 
Raman and SERS Investigations of Pharmaceuticals [electronic resource]
Tác giả: Monica Baia, Simion Astilean, T Iliescu
Xuất bản: Berlin Heidelberg: SpringerVerlag, 2008
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  615.19
 Thêm vào giỏ
 
Java and the Java virtual machine : definition, verification, validation
Tác giả: Robert F Stärk, E Börger, Joachim Schmid
Xuất bản: : SpringerVerlag, 2001
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.13
 Thêm vào giỏ
 
Toxicants in terrestrial ecosystems : a guide for the analytical and environmental chemist
Tác giả: T R Crompton
Xuất bản: Berlin: SpringerVerlag, 2006
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  628.5
 Thêm vào giỏ
 
Urban forest acoustics
Tác giả: Voichita Bucur
Xuất bản: Berlin New York: SpringerVerlag, 2006
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  634.9091732
 Thêm vào giỏ
 
On Global Univalence Theorems : Lecture notes in mathematics
Tác giả: A Dold, Beno Eckmann, T Parthasarathy
Xuất bản: Berlin Heidelberg: SpringerVerlag, 1983
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  515.7
 Thêm vào giỏ
 
Theory of Program Structures: Schemes, Semantics, Verification : Lecture Notes in Computer Science elektronisk ressurs
Tác giả: Sheila A Greibach, G Goos, J Hartmanis
Xuất bản: Berlin Heidelberg: SpringerVerlag, 1975
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  001.642
 Thêm vào giỏ
 
The Vienna Development Method: The Meta-Language [elektronisk ressurs]
Tác giả: D Bjørner, C B Jones
Xuất bản: Berlin Heidelberg: SpringerVerlag, 1978
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  001.6424
 Thêm vào giỏ
 
Springer handbook of nanotechnology
Tác giả: Bharat Bhushan
Xuất bản: Berlin New York: SpringerVerlag, 2004
Bộ sưu tập: Sách tra cứu
eBook (pdf)
ddc:  620
 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