Đă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 288 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ỏ
 
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ỏ
 
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ỏ
 
Parallel programming : for multicore and cluster systems [electronic resource]
Tác giả: Thomas Rauber, Gudula Rünger
Xuất bản: Berlin: SpringerVerlag, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.275
 Thêm vào giỏ
 
Intelligent Computer Mathematics : 10th international conference, AISC 2010, 17th symposium, Calculemus 2010 and 9th int...
Tác giả: Serge Autexier
Xuất bản: Berlin: SpringerVerlag, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Database and XML technologies : first International XML Database Symposium, XSym 2003, Berlin, Germany, September 8, 200...
Tác giả: Zohra Bellahsène, Akmal B Chaudhri, Erhard Rahm, Michael Rys, Rainer Unland
Xuất bản: Berlin New York: SpringerVerlag, 2003
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.74
 Thêm vào giỏ
 
Towards intelligent engineering and information technology [electronic resource]
Tác giả: J Fodor, Janus Kacprzyk, I J Rudas
Xuất bản: Berlin Heidelberg: SpringerVerlag, 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
A practical theory of programming
Tác giả: Eric C R Hehner
Xuất bản: New York Hong Kong: SpringerVerlag, 1993
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 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