Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
wang, chao
(6)
lahiri, shuvendu k.
(3)wang, xiaohua
(2)zhang, sherong
(2)an, hong
(1)jin, hai
(1)kandemir, mahmut
(1)shi, xuanhua
(1)Verlag / Hersteller
springer international publishing
(4)springer, berlin springer nature singapore science press springer
(2)Verlag
science press
(2)springer
(2)springer international publishing
(4)springer nature singapore
(2)springer, berlin
(2)Schlagwort
edv
(4)informatik
(4)artificial intelligence
(3)artificialintelligence
(3)embedded systems
(3)formal logic
(3)formallogic
(3)model checking
(3)modelchecking
(3)architecture verification and validation
(2)architectureverificationandvalidation
(2)computer networks
(2)computer systems
(2)computersystems
(2)constitutive model
(2)distributed computer systems
(2)distributedcomputersystems
(2)dynamic mechanical behaviors
(2)large aggregate effect
(2)linguistics
(2)neural networks
(2)rcc
(2)rollcrete
(2)rolled concrete
(2)roller compacted concrete
(2)semantics
(2)size dependence
(2)software engineering
(2)software-entw.
(2)strain-rate sensitivity
(2)theorie
(2)algorithmus
(1)automata theory
(1)automatatheory
(1)bandwidth
(1)bautechnik
(1)comp
(1)compiler
(1)computer hardware
(1)computer programming
(1)computerhardware
(1)computernetworks
(1)computerprogramming
(1)correlation analysis
(1)correlationanalysis
(1)data centers
(1)data security
(1)datacenters
(1)datensicherheit
(1)distributed architectures
(1)distributedarchitectures
(1)dynamicmechanicalbehaviors; constitutivemodel; rcc; rollercompactedconcrete; largeaggregateeffect; strain-ratesensitivity; sizedependence; rollcrete; rolledconcrete
(1)embeddedsystems
(1)formal languages
(1)formal methods
(1)formallanguages
(1)formalmethods
(1)heterogeneous (hybrid) systems
(1)heterogeneous(hy
(1)informatik, computer
(1)informationssystem
(1)markov chains
(1)markovchains
(1)mathematik
(1)model checker
(1)modelchecker
(1)network prot
(1)network simulations
(1)networkprotocols
(1)netz
(1)netzwerk (elektronisch)
(1)neuralnetworks
(1)parallelization
(1)parallelprocessingsystems
(1)probability
(1)programming languages
(1)programming languages, compilers, interpreters
(1)programminglanguages
(1)real-time operating systems
(1)reconfigurable logic and fpgas
(1)reconfigurablelogicandfpgas
(1)s
(1)semanti
(1)sicherheit
(1)signalprocessing
(1)simd processors
(1)simdprocessors
(1)software evaluation
(1)softwarearchit
(1)specifications
(1)technik
(1)tel
(1)temporal logic
(1)umwelttechnik
(1)verification
(1)verificationandv
(1)übersetzer (edv)
(1)Ergebnis: 6 Artikel
Autor: wang, chao
