1061. Understanding behaviour of distributed systems using mCRL2

by Atif, Muhammad | Groote, Jan Friso.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2023Availability: Items available for loan: [Call number: 004.36 ATI] (1).
1062. The dangerous art of text mining : a methodology for digital history

by Guldi, Jo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2023Availability: Items available for loan: [Call number: 025.0420727 GUL] (1).
1063. Elements of digital geometry, mathematical morphology, and discrete optimization

by Kiselman, Christer Oscar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey : World Scientific, 2022Availability: Items available for loan: [Call number: 006.6 KIS] (1).
1064. From statistical physics to data-driven modelling : with applications to quantitative biology

by Cocco, Simona | Monasson, Rémi | Zamponi, Francesco.

Publisher: Oxford : Oxford University Press, 2022Availability: Items available for loan: [Call number: 530.13 COC] (1).

Powered by Koha