語系
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 /
by:
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 /
by:
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 /
by:
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.