Languages
Ait Ameur, Yamine.
Overview
| Works: | 5 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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)
(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.