Serie
lecture notes in computer science
(10)programming and software engineering
(5)lecture notes in artificial intelligence
(4)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
zhang, zili
(10)liu, zhiming
(5)bowen, jonathan p.
(4)blumenstein, michael
(1)boll, susanne
(1)chen, yi-ping phoebe
(1)ge, yong
(1)jin, zhi
(1)li, gang
(1)siekmann, jörg
(1)tian, qi
(1)wirsing, martin
(1)zhang, chengqi
(1)zhang, lei
(1)zhang, songmao
(1)Verlag / Hersteller
springer berlin heidelberg
(3)springer international publishing
(7)Schlagwort
edv
(11)informatik
(11)data mining
(5)formal methods
(5)formal specification
(4)formal verification
(4)formalmethods
(4)künstliche intelligenz
(4)modelling languages
(4)program refinement
(4)programming language semantics
(4)reactive systems
(4)software engineering
(4)software-entw.
(4)theorie
(4)artificial intelligence
(3)artificialintelligence
(3)classification
(3)computer systems
(3)computersystems
(3)data mining (edv)
(3)datamining
(3)formal reasoning
(3)formalreasoning
(3)formalspecification
(3)formalverification
(3)history of computing
(3)intelligenz
(3)ki
(3)künstliche intelligenz - ai
(3)modellinglanguages
(3)programminglanguagesemantics
(3)programrefinement
(3)reactivesystems
(3)real-time systems
(3)real-timesystems
(3)runtime verification
(3)safety-critical systems
(3)clustering
(2)datenverarbeitung
(2)historyofcomputing
(2)image processing
(2)imageprocessing
(2)information retrieval
(2)informationretrieval
(2)informationsmanagement
(2)informationssystem
(2)knowledge management
(2)machine learning
(2)runtimeverification
(2)safety-criticalsystems
(2)semantics
(2)adpative learning
(1)adpativelearning
(1)agent (edv) - agentensystem
(1)agent based model
(1)agent technology
(1)agent-based systems
(1)algorithmic learning
(1)algorithmiclearning
(1)algorithmus
(1)allgemeines
(1)anwendungs-software
(1)ar
(1)augmented reality
(1)augmentedreality
(1)authoring systems
(1)authoringsystems
(1)big data
(1)bioinformatics
(1)classification and clustering
(1)classificationandclustering
(1)clustering algorithms
(1)clusteringalgorithms
(1)cognition
(1)collaborative authoring
(1)collaborative filtering
(1)collaborativeauthoring
(1)collaborativefiltering
(1)computational finance
(1)computer networks
(1)computer science
(1)computer vision
(1)computernetworks
(1)computerscience
(1)computervision
(1)context profile
(1)contextprofile
(1)correlation analysis
(1)correlationanalysis
(1)cyber-physical systems
(1)cyber-physicalsystems
(1)data mining and knowledge discovery
(1)databases
(1)decidability
(1)decision making
(1)decisionmaking
(1)description logics
(1)descriptionlo
(1)design
(1)Erscheinungsjahr
2004
(1)2007
(1)2009
(1)2015
(1)2016
(1)2017
(2)2018
(1)2019
(1)2020
(1)2021
(1)Ergebnis: 11 Artikel
Redaktion: zili zhang
