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