Logic circuits ; Programmed instruction ; Programming(Computers) ; Design ; Computer programs ; Graphics ; Instruction manuals ; Theses;
机译:用于基本数字设计的远程可重构逻辑实验室的交互式演示
机译:线性时序逻辑LTL_K由具有交互代理的Multi-Agent Logic K_n扩展
机译:通用逻辑实现器:数字逻辑设计实验室的通用工具
机译:K-12学生互动数字逻辑实验室(正在进行中的工作)
机译:远程实验室:一种实现便携式逻辑设计实验室基础结构并提供对现代测试设备的访问的方法
机译:等效测试的逻辑及其在实验室医学中的应用
机译:用于基本数字设计的远程可重构逻辑实验室的交互式演示