Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
chinese higher education
(2)chinese higher education admissions policy
(2)edv
(2)higher admissions policy effectiveness
(2)higher admissions policy fairness
(2)higher education admissions policy
(2)higher education admissions policy reform
(2)informatik
(2)policy effectiveness
(2)policy fairness
(2)software engineering
(2)algorithm analysis and problem complexity
(1)algorithmanalysisandproblemcomplexity
(1)artificial intelligence
(1)artificialintelligence
(1)computer communication networks
(1)concurrent systems
(1)concurrentsystems
(1)data security
(1)datasecurity
(1)denotational semantics
(1)denotationalsemantics
(1)education
(1)educational policy & reform
(1)event-b
(1)expertensystem
(1)f
(1)formal logic
(1)formal methods
(1)formal verifications
(1)formallogic
(1)general
(1)higher
(1)informatik, computer
(1)informationstechnologie
(1)it
(1)logics and meanings of programs
(1)mathematical logic and formal languages
(1)mathematical logic and found
(1)mathematik
(1)model checking
(1)modelchecking
(1)philosophy, theory & social aspects
(1)program compilers
(1)program refinement
(1)programming languages
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)programrefinement
(1)semantics
(1)software evaluation
(1)software-entw.
(1)symbolic computations
(1)symboliccomputations
(1)system performance and evaluatio
(1)teaching
(1)technologie
(1)theorem proving
(1)theorie
(1)theory of computation
(1)verification
(1)wissensbasiertes system
(1)Ergebnis: 5 Artikel
Autor: Sun, Jing
