Japan Advanced Institute of Science and Technology, 1-1 Asahidai Nomi Ishikawa 923-1292, Japan;
机译:基于描述性的面向对象编程方法,将有限元理论快速转换为计算机实现
机译:Hol中面向对象数据模型的可扩展编码
机译:高效和高吞吐量的应用专用集成电路实现的高效和呈现块CIPHERS
机译:基于协作的OL面向对象模型的验证
机译:可扩展的智能家居嵌入式系统专用媒体访问控制协议的设计和实现。
机译:一种用于提高电感接近传感器测量精度的非线性温度补偿模型及其专用集成电路实现
机译:在HOL中实施特定于应用程序的面向对象理论