Computer systems - Congresses. - Reliability

Logics and languages for reliability and security by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings / by: (Electronic resources)

Computer systems- Reliability

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Computer logic

Programming Languages, Compilers, Interpreters.

Computer security

Computer Science.

Systems and Data Security.

Computer Communication Networks.

Computers and Society.

Computer Systems Organization and Communication Networks.

Computer Applications.