Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
hung, dang van
(4)d´souza, meenakshi
(1)kapur, deepak
(1)sokolsky, oleg
(1)wirsing, martin
(1)Schlagwort
edv
(4)informatik
(4)artificial intelligence
(3)artificialintelligence
(3)automata theory
(2)automatatheory
(2)formal languages
(2)formal logic
(2)formallanguages
(2)formallogic
(2)model checking
(2)modelchecking
(2)algorithm
(1)algorithms
(1)allgemeines
(1)architecting
(1)architecture verification and validation
(1)architecturedvalidation
(1)arti
(1)authentication
(1)cloud computing
(1)cloudcomputing
(1)computation by abstract devices
(1)computer
(1)computer communication networks
(1)computer hardware
(1)computer networks
(1)computer science
(1)computer systems
(1)computerhardware
(1)computernetworks
(1)computerprogrammierung und
(1)computerscience
(1)computersystems
(1)correlation analysis
(1)correlationanalysis
(1)cryptography
(1)data security
(1)datasecurity
(1)datenkommunikation
(1)distributed computer systems
(1)distributedcomputersystems
(1)embedded systems
(1)embeddedsystems
(1)engineering
(1)finite automata
(1)finiteautomata
(1)formal language
(1)formal methods
(1)formallanguage
(1)formalmethods
(1)internet
(1)internet of things (iot)
(1)künstliche intelligenz
(1)linguistics
(1)logics
(1)logics and meanings of programs
(1)machine learning
(1)machinelearning
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)mathematics
(1)network protocols
(1)networkprotocols
(1)netzwerke
(1)programmieren
(1)programming languages, compilers, interpreters
(1)public key cryptograph
(1)publickeycryptography
(1)real-time
(1)semantics and reasoning
(1)semanticsandreasoning
(1)soft
(1)softw
(1)software design
(1)software organization and properties
(1)softwaredesign
(1)softwareengineeri
(1)softwareorganizationandproperties
(1)telecommunicationnetwo
(1)theorem proving
(1)theoremproving
(1)theoretical computer science
(1)theoreticalcomputerscience
(1)theorie
(1)theory of computation
(1)theory of security
(1)theoryofsecurity
(1)things(iot)
(1)verif
(1)verification
(1)Ergebnis: 4 Artikel
Autor: Hung, Dang Van
