21. Algebra and computer science : Contemporary Mathematics

by Kahrobaei, Delaram | Cavallo, Bren | Garber, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Rhode Island: American Mathematical Society, 2016Availability: Items available for loan: [Call number: 512.00285 KAH] (1).
22. Neighborhood semantics for modal logic

by Pacuit, Eric.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland Springer International Publishing 2017Availability: Items available for loan: [Call number: 160 PAC] (1).
23. Modelling and verification of secure exams

by Giustolisi, Rosario.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 005.8 GIU] (1).

Powered by Koha