Datalog; recursive emery processing; data integration; declarative; networking; program analysis;
机译:中国中年和老年人移动应用程序的互动教程设计
机译:关于VANET的详细教程调查:新兴架构,应用,安全问题和解决方案
机译:网络博弈论:针对新兴信号处理应用的博弈论工具教程
机译:Datalog和新兴应用程序:互动教程
机译:在基于讲座的课程中促进主动学习:演示,教程和交互式教程讲座。
机译:激光散斑流变学教程:技术应用和机遇
机译:析取数据记录程序的数据记录可重写性及其 本体推理的应用