1. Software engineering mathematics : formal methods demystified

by Loomes, Martin | Woodcock, Jim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Taylor & Francis, 1988Availability: Items available for loan: [Call number: 005.13119 WOO] (1).
2. Algorithms for coalition formation in multi-agent systems

by Rahwan, Talal.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Swindon: British Computer Society, 2008Availability: Items available for loan: [Call number: 006.3015181 RAH] (1).

Powered by Koha