Loại tài liệu:    Chỉ tìm trong: 
411-420 trong số 590 kết quả
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Security for Web Services and Service-Oriented Architectures [electronic resource]
Tác giả: Elisa Bertino, Lorenzo Martino, Federica Paci, Anna Squicciarini
Xuất bản: Berlin Heidelberg: SpringerVerlag Berlin Heidelberg, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 
System architecture with XML
Tác giả: Berthold Daum, Udo Merten
Xuất bản: San Francisco Calif: Morgan Kaufmann, 2003
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.74
 
Accuracy and reliability in scientific computing
Tác giả: Bo Einarsson
Xuất bản: Philadelphia: Society for Industrial and Applied Mathematics, 2005
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  502.85
 
Image : E-Learning, Understanding, Information Retrieval and Proceeding of the First International Workshop
Tác giả: Sergio Vitulano
Xuất bản: New Jersey: World Scientific, 2003
Bộ sưu tập: Khoa học ứng dụng
Bản in
ddc:  610
 
Forensic Computing [electronic resource]
Tác giả: A J Sammes, Brian Jenkinson
Xuất bản: London: SpringerVerlag London Limited, 2007
Bộ sưu tập: Xã hội, kinh tế, luật
eBook (pdf)
ddc:  363.250285
 
Composing Software Components [electronic resource] : A Software-testing Perspective
Tác giả: Dick Hamlet
Xuất bản: Boston MA: Springer ScienceBusiness Media LLC, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.3
 
Data structures and algorithms using Python
Tác giả: Rance D Necaise
Xuất bản: Hoboken: John Wiley Sons Inc, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.133
 
Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, Octo...
Tác giả: Czachórski Tadeusz, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Certifying Software Component Performance Specifications
Tác giả: Henning Groenda
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục