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 Prospects For Hardware Foundations: Esprit Working Group 8533 Nada -- New Hardware Design Methods Survey Chapters, B

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 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: Ifip Wg10.5 Advanced Research Working Conference, Charme '95, Fra,

Lecture Notes In Computer Science Cryptographic Hardware And Embedded Systems - Ches 2002: 4th International Workshop, Redwood Shores, Ca, Usa, August

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 Conpar 86: Conference On Algorithms And Hardware For Parallel Processing, Aachen, September 17 - 19, 1986. Proceedin

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

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: First International Workshop, Ches'99 Worcester, Ma, Usa, August 12-13

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