denotational semantics; ultrametric spaces; functional reactive programming; guarded recursion; linear logic;
机译:图形用户界面的语义模型
机译:通过基于Web的获取和动手应用的创新使用以及虚拟图形用户界面的使用,将Dynamic Systems材料集成到机械工程课程中-第5部分:图形用户界面(GUI)辅助
机译:通过条件生成对冲网设计图形用户界面的语义颜色设计
机译:基于应用程序语义自定义用户界面:重用图形用户界面的方法
机译:使用PYQT进行药物设计的evoQSAR建模框架和图形用户界面的并行化。
机译:AGUIA:用于临床试验语义数据服务的自主图形用户界面程序集
机译:图形用户界面的语义模型
机译:FGB:用于创建图形,触觉用户界面的图形和触觉用户界面