語系
Casimiro, Antonio.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Reliable software technologies - Ada-Europe 201823rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018 : proceedings /
by:
(1998 :); Casimiro, Antonio.; Ferreira, Pedro M.; SpringerLink (Online service)
(書目-電子資源)
Architecting dependable systems VII
by:
Casimiro, Antonio.; Gacek, Cristina.; Lemos, Rogerio.; SpringerLink (Online service)
(書目-電子資源)
Computer safety, reliability, and security39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings /
by:
(1998 :); Casimiro, Antonio.; SpringerLink (Online service)
(書目-電子資源)
Computer safety, reliability, and securitySAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings /
by:
(1998 :); Casimiro, Antonio.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Data Structures and Information Theory.
Computer organization
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Cryptology.
Programming Techniques.
Computer software
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Computer logic
Knowledge based Systems.
Models and Principles.
Computer architecture
Computer security
Artificial Intelligence.
Computer Science.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Application software
Systems and Data Security.
e-Commerce/e-business.
Computer Applications.