Loại tài liệu:    Chỉ tìm trong: 
461-470 trong số 1370 kết quả
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TA...
Tác giả: Kai Brünnler, George Metcalfe
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
 
Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerla...
Tác giả: Luca Aceto, Monika Henzinger, Jiri Sgall
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
 
Autonomic Communication [electronic resource]
Tác giả: Stamatis Karnouskos, Manish Parashar, Witold Pedrycz, Athanasios V Vasilakos
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2009.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays D...
Tác giả: Bob Coecke, Luke Ong, Prakash Panangaden
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Combinatorial and Algorithmic Aspects of Networking [electronic resource] : First Workshop on Combinatorial and Algorith...
Tác giả: Angèle Hamel, Alejandro López-Ortiz
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:  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
 
Building Scalable Network Services [electronic resource] : Theory and Practice
Tác giả: Cheng Jin, Sugih Jamin, Danny Raz, Yuval Shavitt
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Broadband Satellite Communications for Internet Access [electronic resource]
Tác giả: Sastri L Kota, Pentti A Leppänen, Kaveh Pahlavan
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor B...
Tác giả: Olav Lysne
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 

Truy cập nhanh danh mục