語系
Ait Ameur, Yamine.
概要
作品: | 5 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Model and data engineering4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014 : proceedings /
by:
(1998 :); Ait Ameur, Yamine.; Bellatreche, Ladjel.; Papadopoulos, George A.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Machine theory
Logics and Meanings of Programs.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Database Management.
Information Storage and Retrieval.
Database management
Machine learning
Computer architecture
Computer Science.
Knowledge management
Computer Communication Networks.