言語
Schewe, Klaus-Dieter.
概観
| 著作: | 1 作品に 3 出版物中に 1 言語 | |
|---|---|---|
タイトル
Conceptual modelling and its theoretical foundations[electronic resource] :essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
…で:
Dusterhoft, Antje.; Klettke, Meike.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
…で:
Ait Ameur, Yamine.; Clark Conference ((2005 :); Schewe, Klaus-Dieter.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Semantics in data and knowledge bases[electronic resource] :third international workshop, SDKB 2008, Nantes, France, March 29, 2008 : revised selected papers /
…で:
Clark Conference ((2005 :); Schewe, Klaus-Dieter.; SpringerLink (Online service); Thalheim, Bernhard.
(言語・文字資料 (印刷物))
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Machine theory
Artificial Intelligence (incl. Robotics)
Semantic Web
Database Management.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Models and Principles.
Data Mining and Knowledge Discovery.
Simulation methods.
Information Systems Applications (incl.Internet)
Machine learning
Computer Science.
Ontologies (Information retrieval)
Computer Communication Networks.
Discrete Mathematics in Computer Science.
System design.