Lecture Notes In Computer Science Correct Hardware Design And Verification Methods: 12th Ifip Wg 10.5 Advanced Research Working Conference, Charme 200

Lecture Notes In Computer Science Correct Hardware Design And Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 200

Lecture Notes In Computer Science Prospects For Hardware Foundations: Esprit Working Group 8533 Nada -- New Hardware Design Methods Survey Chapters, B

Lecture Notes In Computer Science Cryptographic Hardware And Embedded Systems - Ches 2000: Second International Workshop Worcester, Ma, Usa, August 17

Lecture Notes In Computer Science Correct Hardware Design And Verification Methods: Ifip Wg10.5 Advanced Research Working Conference, Charme '95, Fra,

Lecture Notes In Computer Science Cryptographic Hardware And Embedded Systems -- Ches 2003: 5th International Workshop, Cologne, Germany, September 8-

Lecture Notes In Computer Science Correct Hardware Design And Verification Methods: 10th Ifip Wg10.5 Advanced Research Working Conference, Charme'99,,

Lecture Notes In Computer Science Correct Hardware Design And Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arl,

Lecture Notes In Computer Science: Cryptographic Hardware And Embedded Systems: First International Workshop, Ches'99 Worcester, Ma, Usa, August 12-13

Lecture Notes In Computer Science Hardware Specification, Verification And Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop.

Lecture Notes In Computer Science Cryptographic Hardware And Embedded Systems - Ches 2001: Third International Workshop, Paris, France, May 14-16, 200

Lecture Notes In Computer Science Cryptographic Hardware And Embedded Systems - Ches 2004: 6th International Workshop Cambridge, Ma, Usa, August 11-13