Mikro- ja nanoelektroniikka

Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Correct Hardware Design and Verification Methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings

New Trends in Neural Computation : International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings

Computer Aided Verification : 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Field-Programmable Gate Arrays : Architectures and Tools for Rapid Prototyping. Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers

New Trends in Neural Computation : International Workshop on Artificial Neural Networks, IWANN '93 Sitges, Spain, June 9-11, 1993 Proceedings

Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 - July 1, 1992 Proceedings