1. Software engineering

by Dorfman, Merlin | Thayer, Richard H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: IEEE Press, 2000Availability: Items available for loan: [Call number: 005.1 DOR] (1).
2. Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

by Wang, Farn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
3. Embedded software : the works

by Walls, Colin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam: Newnes, 2006Availability: Items available for loan: [Call number: 005.1 WAL] (2).
4. 19th IEEE International Conference on Distributed Computing Systems ( May 31-June 4, 1999)

by Gouda, Mohamed G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: California: IEEE Computer Society, 1999Availability: Items available for loan: [Call number: 005.712 GOU] (1).
5. Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings

by Saraswat, Vijay A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
6. Practical Approach to Real-Time Systems

by Laplante, Philip A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: IEEE Press, 2000Availability: Items available for loan: [Call number: 004.3 LAP] (1).
7. Interrupt handling schemes in operating systems

by Mejia Alvarez, Pedro | Leyva del Foyo, Luis Eduardo | Diaz Ramirez, Arnoldo.

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

Powered by Koha