Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
duan, zhenhua
(5)
tian, cong
(5)liu, shaoying
(4)nagoya, fumiko
(3)du, ding-zhu
(1)miao, huaikou
(1)Schlagwort
edv
(5)informatik
(5)artificial intelligence
(3)formal logic
(3)model checking
(3)problem solving
(3)semantics
(3)software engineering
(3)verification
(3)allgemeines
(2)artificialintelligence
(2)betriebssystem (edv)
(2)embedded systems
(2)formal methods
(2)formal specification
(2)formallogic
(2)intelligenz
(2)ki
(2)künstliche intelligenz
(2)künstliche intelligenz - ai
(2)operating system
(2)programmieren
(2)softwareengineering
(2)specifications
(2)theorem proving
(2)theorie
(2)algorithm design
(1)algorithman
(1)algorithmdesign
(1)algorithmen und
(1)algorithmus
(1)analysis
(1)approximation algorithms
(1)approximationalgorithms
(1)architecting
(1)architecture verification and validation
(1)architectureverificationandvalidation
(1)artificialintel
(1)communication network
(1)communicationnetwork
(1)complexity theory
(1)complexitytheory
(1)computational biology
(1)computational learning
(1)computationalbiology
(1)computationallearning
(1)computer
(1)computer hardware
(1)computer networks
(1)computer programming
(1)computer programming languages
(1)computer science
(1)computer software selection and evaluation
(1)computer systems
(1)computerhardware
(1)computernetworks
(1)computerprogramming
(1)computersystems
(1)data security
(1)datasecurity
(1)distributed computer systems
(1)distributedcomputersystems
(1)embeddedsystems
(1)engineering
(1)formal engineering methods
(1)formal verification
(1)formalengineeringmethods
(1)formalspecification
(1)formalverification
(1)game theory
(1)gametheory
(1)graph theory
(1)graphic methods
(1)graphicmethods
(1)graphtheory
(1)informatik, computer
(1)inspection
(1)internet
(1)language
(1)logic
(1)mathem
(1)mathematics
(1)mathematik
(1)modelchecking
(1)optimization
(1)pc-hardware
(1)planar graphs
(1)planargraphs
(1)problemsolving
(1)programming language
(1)roboter - robotik - industrieroboter
(1)robots
(1)sof
(1)software
(1)software development
(1)software engineer
(1)software engineeri
(1)software evaluation
(1)software-entw.
(1)softwareevaluation
(1)Ergebnis: 5 Artikel
Autor: tian, cong
