Languages
Casimiro, Antonio.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
Architecting dependable systems VII
by:
Casimiro, Antonio.; Gacek, Cristina.; Lemos, Rogerio.; SpringerLink (Online service)
(Electronic resources)
Computer safety, reliability, and security39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings /
by:
(1998 :); Casimiro, Antonio.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.