[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Bisimulations and divergence
- 作者Walker, D.J.
- 文件大小399.04KB
- 发表时间1988
- DOI10.1109/lics.1988.5117
- 页码186-192
[IEEE Comput. Soc 1999 IEEE International Conference on Information Visualization - London, UK (14-16 July 1999)] 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) - Information highlightingOstler, T. · 1999
[IEEE Comput. Soc 1999 IEEE International Conference on Information Visualization - London, UK (14-16 July 1999)] 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) - Movie mapsMuller, H.; Tan, E. · 1999
[IEEE Comput. Soc 1999 IEEE International Conference on Information Visualization - London, UK (14-16 July 1999)] 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) - Display models for visualizationRoberts, J.C. · 1999
[IEEE Comput. Soc 1999 IEEE International Conference on Information Visualization - London, UK (14-16 July 1999)] 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) - On shape to specifications adequacyGardan, Y.; Minich, C.; Pallez, D. · 1999
[IEEE Comput. Soc 1999 IEEE International Conference on Information Visualization - London, UK (14-16 July 1999)] 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) - Interaction with the Reorderable MatrixSiirtola, H. · 1999
[IEEE Comput. Soc 1999 IEEE International Conference on Information Visualization - London, UK (14-16 July 1999)] 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) - Molecular dynamics simulation and visualizationDurikovic, R.; Motooka, T. · 1999
[IEEE Comput. Soc 1999 IEEE International Conference on Information Visualization - London, UK (14-16 July 1999)] 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) - Visual metaphors to enhance hypermediaPerera, S.; Hobbs, D.; Moore, D. · 1999
[IEEE Comput. Soc 1999 IEEE International Conference on Information Visualization - London, UK (14-16 July 1999)] 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) - Trends in information visualisation in constructionAouad, G. · 1999
IMPROVEMENT OF THE STRUCTURE DAMPING PERFORMANCE BY INTERCONNECTIONT. AIDA; T. ASO; K. TAKESHITA; T. TAKIUCHI; T. FUJII · 2001
PD.127 Expression of RAD21 cleaved products in oral epitheliumG. Yamamoto; Y. Nagoshi; A. Fukuda; T. Aida; T. Irie; T. Tachikawa · 2005
Room Temperature Halogenation of Polyimide Film Surface using Chlorine Trifluoride GasH. Habuka; T. Kosuga; K. Koike; T. Aida; T. Takeuchi; M. Aihara · 2004
Expression of Protein Kinases C I, II, and VEGF during the Differentiation of Enamel Epithelium in Tooth DevelopmentAida, M.; Irie, T.; Aida, T.; Tachikawa, T. · Journal of Dental Research · 2005
Internal friction and elastic modulus of bulk metallic glassesY. Hiki; T. Yagi; T. Aida; S. Takeuchi · 2004
Inactivation of hepatitis C virus cDNA transgene by hypermethylation in transgenic miceT. Kato; M. Ahmed; T. Yamamoto; H. Takahashi; M. Oohara; T. Ikeda; Y. Aida; M. Katsuki; Y. Arakawa; T. Shikata; M. Esumi · 1996
Problem DepartmentN. A. Court, W. T. Short, Frank Hawthorn, Howard Eves, Victor Thebault, J. S. Guerin, Walter B. Clarke, L. M. Kelly, H. E. Fettis, Howard Grossman, E. P. Starke, Aida Kalish, Emil D. Schell, Harry M. Gehman, Merton T. Goodrich and W. E. Byrne · National Mathematics Magazine · 1945
SiGe/Si microtubes fabricated on a silicon-on-insulator substrateA. Vorob'ev; P. O. Vaccaro; K. Kubota; T. Aida; T. Tokuda; T. Hayashi; Y. Sakano; J. Ohta; M. Nunoshita · 2003