Probst, Christian W.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Graphical Models for Security = 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers /
by:
Albanese, Massimiliano.; Horne, Ross.; SpringerLink (Online service); Probst, Christian W.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
by:
SpringerLink (Online service); Hankin, Chris.; Probst, Christian W.; Hansen, René Rydhof.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Systems and Data Security.
Computer logic.
Algorithm Analysis and Problem Complexity.
Software engineering.
Theory of Computation.
Information Systems Applications (incl. Internet).
Computers.
Optical data processing.
Mathematics of Computing.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer security.
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Application software.