Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
complexity
(2)computer
(2)computer system implementation
(2)data structures
(2)datastructures
(2)discrete mathematics in computer science
(2)edv
(2)formal specification
(2)formalspecification
(2)hardware
(2)informatik
(2)kernel
(2)math applications in computer science
(2)mathematical applications in computer science
(2)operating system
(2)operating systems
(2)operatingsystem
(2)performance
(2)security
(2)software engineering
(2)systemanalyse und -design
(2)text
(2)betriebssystem (edv)
(1)betriebssysteme
(1)Ergebnis: 2 Artikel
Titel: formal models of operating system kernels
