語系
Schewe, Klaus-Dieter.
概要
作品: | 2 作品在 7 項出版品 1 種語言 |
---|
書目資訊
Design and development of web information systems
by:
Schewe, Klaus-Dieter.; SpringerLink (Online service); Thalheim, Bernhard.
(書目-電子資源)
Abstract state machines, Alloy, B, TLA, VDM, and Z4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(1998 :); Ait Ameur, Yamine.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(書目-電子資源)
Conceptual modelling and its theoretical foundationsessays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
by:
Dusterhoft, Antje.; Klettke, Meike.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(書目-電子資源)
Foundations of information and knowledge systemsFirst International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 : proceedings /
by:
(1998 :); Schewe, Klaus-Dieter.; SpringerLink (Online service); Thalheim, Bernhard.
(書目-電子資源)
Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday /
by:
Borger, E. (1946-); Raschke, Alexander.; Riccobene, Elvinia.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(書目-電子資源)
Semantics in data and knowledge bases4th international workshop, SDKB 2010, Bordeaux, France, July 5, 2010 : revised selected papers /
by:
(1998 :); Schewe, Klaus-Dieter.; SpringerLink (Online service); Thalheim, Bernhard.
(書目-電子資源)
Model and data engineering9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019 : proceedings /
by:
(1998 :); Schewe, Klaus-Dieter.; Singh, Neeraj Kumar.; SpringerLink (Online service)
(書目-電子資源)
Semantics in data and knowledge basesthird international workshop, SDKB 2008, Nantes, France, March 29, 2008 : revised selected papers /
by:
(1998 :); Schewe, Klaus-Dieter.; SpringerLink (Online service); Thalheim, Bernhard.
(書目-電子資源)
Foundations of information and knowledge systemssecond international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings /
by:
(1998 :); Eiter, Thomas.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Internet.
Computer logic.
Theory of Computation.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Machine theory
Programming Language.
Computer systems
Semantic Web
Database Management.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Information Systems Applications (incl. Internet)
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
User Interfaces and Human Computer Interaction.
Software engineering.
Models and Principles.
Data Mining and Knowledge Discovery.
Database management
Information Systems Applications (incl.Internet)
Simulation methods.
Machine learning
Computer architecture
Artificial Intelligence.
Business Information Systems.
Information technology
Ontologies (Information retrieval)
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
Computer networks.
Knowledge management
Computer science.
System design.