Loại tài liệu:    Chỉ tìm trong: 
401-410 trong số 825 kết quả
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, Decembe...
Tác giả: Jean-Pierre Jouannaud, Zhong Shao
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Computation, Cooperation, and Life [electronic resource] : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th...
Tác giả: Jozef Kelemen, Alica Kelemenová
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Coding and Cryptology [electronic resource] : Third International Workshop, IWCC 2011, Qingdao, China, May 30-June 3, 20...
Tác giả: Yeow Meng Chee, Zhenbo Guo, San Ling, Fengjing Shao, Yuansheng Tang, Huaxiong Wang, Chaoping Xing
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 
Collaboration and Technology [electronic resource] : 17th International Conference, CRIWG 2011, Paraty, Brazil, October ...
Tác giả: Marcos RS Borges, Carl Gutwin, Adriana S Vivacqua
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Combinatorial Algorithms [electronic resource] : 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, ...
Tác giả: Costas S Iliopoulos, William F Smyth
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Argumentation in Multi-Agent Systems [electronic resource] : 7th International Workshop, ArgMAS 2010, Toronto, Canada, M...
Tác giả: Peter McBurney, Simon D Parsons, Iyad Rahwan
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Collaborative Agents - Research and Development [electronic resource] : International Workshops, CARE@AI09 2009 / CARE@I...
Tác giả: Frank Dignum, Michael Georgeff, Christian Guttmann
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Bioinformatics Research and Application [electronic resource] : 7th International Symposium, ISBRA 2011, Changsha, China...
Tác giả: Jianer Chen, Jianxin Wang, Alexander Zelikovsky
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  570.113
 
Combinatorial Pattern Matching [electronic resource] : 22nd Annual Symposium, CPM 2011, Palermo, Italy, June 27-29, 2011...
Tác giả: Raffaele Giancarlo, Giovanni Manzini
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  518.1
 
Communication and Networking [electronic resource] : International Conference, FGCN 2011, Held as Part of the Future Gen...
Tác giả: Hojjat Adeli, Wai-chi Fang, Tai-hoon Kim, Charalampos Z Patrikakis, Adrian Stoica, Thanos Vasilakos, Javier Garcia Villalba, Yang Xiao, Gansen Zhao
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 

Truy cập nhanh danh mục