Casimiro, António.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Reliable Software Technologies – Ada-Europe 2018 = 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /
by:
Ferreira, Pedro M.; SpringerLink (Online service); Casimiro, António.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops = DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings /
by:
Casimiro, António.; Bitsch, Friedemann.; Ortmeier, Frank.; SpringerLink (Online service); Schoitsch, Erwin.; Ferreira, Pedro.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Safety, Reliability, and Security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings /
by:
Casimiro, António.; Ortmeier, Frank.; Bitsch, Friedemann.; Ferreira, Pedro.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Computer organization.
Knowledge representation (Information theory) .
Software Engineering/Programming and Operating Systems.
Data Structures and Information Theory.
Systems and Data Security.
Computer logic.
Knowledge based Systems.
Artificial intelligence.
Software engineering.
Data structures (Computer science).
Microprogramming .
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Application software.
e-Commerce/e-business.
Artificial Intelligence.
Cryptology.
Data encryption (Computer science).
Computer Applications.
Control Structures and Microprogramming.
Computer hardware.
E-commerce.
Computer Hardware.
Computer security.