Languages
Schewe, Klaus-Dieter.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.