Atif Mashkoor

Identifiers

Open LibraryOL7953260A

Top Subjects

Programming languages (electronic computers) (1)
Logic, symbolic and mathematical (1)
Software engineering (1)

Books by Atif Mashkoor

Total count: 6

Abstract State Machines, Alloy, B, TLA, VDM, and Z5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Springer London, Limited2016-01-01
Abstract State Machines, Alloy, B, TLA, VDM, and Z5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Springer2016-05-11
Database and Expert Systems ApplicationsDEXA 2019 International Workshops BIOKDD, IWCFS, MLKgraphs and TIR, Linz, Austria, August 26–29, 2019, ... in Computer and Information Science )

Springer2019-08-01
Database and Expert Systems Applications - DEXA 2021 WorkshopsBIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27-30, 2021, Proceedings

Springer International Publishing AG2021-01-01
Database and Expert Systems Applications - DEXA 2023 Workshops34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings

Springer2023-01-01
Database and Expert Systems Applications - DEXA 2024 WorkshopsIWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings

Springer2024-01-01