Loại tài liệu:    Chỉ tìm trong: 
431-440 trong số 1118 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
 
Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised...
Tác giả: Nicolas Maudet, Simon Parsons, Iyad Rahwan
Xuất bản: Berlin New York: Springer, 2007
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.015
 
Preventing currency crises in emerging markets [electronic resource]
Tác giả: Sebastian Edwards, Jeffrey A Frankel
Xuất bản: Chicago: University of Chicago Press, 2002
Bộ sưu tập: Xã hội, kinh tế, luật
eBook (pdf)
ddc:  332.4
 
Gamma-ray bursts : prospects for GLAST : Stockholm symposium on GRBs, Stockholm, Sweden, 1 September 2006
Tác giả: Magnus Axelsson, Felix Ryde
Xuất bản: Melville NY: American Institute of Physics, 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  523.01
 
Computational fluid and solid mechanics : proceedings, First MIT Conference on Computational Fluid and Solid Mechanics, ...
Tác giả: Klaus-Jürgen Bathe
Xuất bản: New York: Elsevier, 2001
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  531
 
Recent advances on elliptic and parabolic issues [electronic resource] : proceedings of the 2004 Swiss-Japanese Seminar ...
Tác giả: M Chipot, Hirokazu Ninomiya
Xuất bản: Singapore Hackensack NJ: World Scientific, 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  515.3533
 
Distributed cooperative laboratories : networking, instrumentation, and measurements
Tác giả: F Davoli, Sergio Palazzo, Sandro Zappatore
Xuất bản: New York: Springer, 2006
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.65
 
Information security, coding theory and related combinatorics : information coding and combinatorics
Tác giả: Dea Crnković, Vladimir Tonchev
Xuất bản: Amsterdam Washington DC: IOS Press, 2011
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.6
 
Symbolic computation : applications to scientific computing
Tác giả: Robert Grossman
Xuất bản: Philadelphia: Society for Industrial and Applied Mathematics, 1989
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  620
 
High performance computing in science and engineering '10 : transactions of the High Performance Computing Center, Stutt...
Tác giả: Dietmar Kröner, Wolfgang E Nagel, Michael Resch
Xuất bản: Heidelberg New York: Springer, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.3
 

Truy cập nhanh danh mục