Loại tài liệu:    Chỉ tìm trong: 
511-520 trong số 2641 kết quả
The practice of system and network administration [electronic resource]
Tác giả: Tom Limoncelli, Strata R Chalup, Christina J Hogan
Xuất bản: Upper Saddle River NJ: AddisonWesley, 2007
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.6
 
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
Tác giả: Luís Caires, Luís Caires
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Databases in networked information systems : 7th international workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011 : proceedings
Tác giả: Shinji Kikuchi, Subhash Bhalla, Aastha Madaan, Shelly Sachdeva
Xuất bản: Heidelberg New York: Springer, 2011
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.74
 
Cognitive Agent-based Computing-I [electronic resource] : A Unified Framework for Modeling Complex Adaptive Systems using Agent-based & Complex Network-based Methods
Tác giả: Muaz A Niazi, Amir Hussain
Xuất bản: Dordrecht: Springer Netherlands Imprint Springer, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  612.8
 
Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2018
Tác giả: Jürgen Beyerer, Jürgen Beyerer, Christian Kühnert, Christian Kühnert, Oliver Niggemann, Oliver Niggemann
Xuất bản: Berlin Heidelberg: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
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: 
 
Architecting the telecommunication evolution [electronic resource] : toward converged network services
Tác giả: Vijay K Gurbani
Xuất bản: Boca Raton FL: Auerbach Publications, 2007
Bộ sưu tập: Xã hội, kinh tế, luật
eBook (pdf)
ddc:  384
 
Definitive guide to the ARM Cortex-M3
Tác giả: Joseph Yiu
Xuất bản: Amsterdam Boston: Newnes, 2007
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.16
 

Truy cập nhanh danh mục