1. Theory of timed I/O automata

by Kaynar, Dilsun K | Lynch, Nancy | Segala, Roberto | Vaandrager, Frits.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Rafael: Morgan & Claypool Publishers, 2006Availability: Items available for loan: [Call number: 004.33 KAY] (1).
2. Introduction to Programming Languages : Simultaneous Learning in Multiple Coding Environments

by Gagniuc, Paul A.

Publisher: Cham : Springer, 2023Availability: Items available for loan: [Call number: 005.13 GAG] (1).
3. Principles of blockchain systems

by Anta, Antonio Fernandez | Georgiou, Chryssis | Herlihy, Maurice | Potop-Butucaru, Maria.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland : Springer, 2022Availability: Items available for loan: [Call number: 005.74 ANT] (1).

Powered by Koha