Languages
Ait Ameur, Yamine.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Model and data engineering = 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014 : proceedings /
by:
Ait Ameur, Yamine.; Bellatreche, Ladjel.; Papadopoulos, George A.; SpringerLink (Online service)
(Electronic resources)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
Ait Ameur, Yamine.; Schewe, Klaus-Dieter.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.