1. Introduction to Formal Hardware Verification

by Kropf, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 621.392 KRO] (1).
2. Logic Circuit Design

by Shaw, Alan W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Saunders College Publishing, 1993Availability: Items available for loan: [Call number: 621.395 SHA] (1).
3. Progress in Cryptology -- INDOCRYPT 2003

by Johansson, Thomas | Maitra, Subhamoy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JOH] (1).
4. Fast Software Encryption : 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : Revised Papers

by Johansson, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JOH] (1).
5. Bent functions : fundamentals and results

by Mesnager, Sihem.

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

Powered by Koha