Loại tài liệu:    Chỉ tìm trong: 
1681-1690 trong số 3656 kết quả
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Bernhard Beckert
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Biologically Inspired Approaches to Advanced Information Technology [electronic resource] : Second International Worksho...
Tác giả: Auke Jan Ijspeert, Shinji Kusumoto, Toshimitsu Masuzawa
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:  004.0151
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Uwe Egly, Christian G Fernmüller
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Business Process Change Management [electronic resource] : ARIS in Practice
Tác giả: Ferri Abolhassan, Wolfram Jost, Mathias Kirchmer, August-Wilhelm Scheer
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.3
 
B2B Integration [electronic resource] : Concepts and Architecture
Tác giả: Christoph Bussler
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.3
 
Communication in Multiagent Systems [electronic resource] : Agent Communication Languages and Conversation Policies
Tác giả: Marc-Phillipe Huget
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:  006.3
 
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
Tác giả: Marta Cialdea Mayer, Fiora Pirri
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:  006.3
 
Automated Deduction in Geometry [electronic resource] : Third International Workshop, ADG 2000, Zurich, Switzerland, Sep...
Tác giả: Jürgen Richter-Gebert, Dongming Wang
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:  006.3
 
Do Poor Countries Really Need More IT?
Tác giả: Paul Gaggl
Xuất bản: World Bank, Washington, DC , 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc:  609.17
 
Trust and security in collaborative computing
Tác giả: Xukai Zou, Yuan-Shun Dai, Yi Pan
Xuất bản: Hackensack, NJ: World Scientific , c2008.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.8
 

Truy cập nhanh danh mục