JAVA (PROGRAMMING LANGUAGE); DATA STRUCTURES; TEMPORAL LOGIC; ALGORITHMS; COMPUTER PROGRAMS; SAFETY; SURVEYS; DETECTION;
机译:运行时验证工具Java PathExplorer概述
机译:Java科学程序员可以并行生活! [对“构建并行程序:SMP,群集和Java的评论(Kaminsky,A; 2010年)和“生物物理概论”(Claycomb,J。和Tran,J.Q.P。; 2010年)的评论[书评]
机译:通过利用Java元数据基础结构对JavaScript程序进行声明式增强
机译:Java-MOP:Java的面向监视的编程环境
机译:使用Java虚拟机的基于树的遗传编程与基于堆栈的遗传编程的性能比较。
机译:危险的业务:戏剧中的功能在毒液哺乳动物 - 爪哇慢速Loris(nycticebus javanicus)
机译:使用Java PathExplorer监视Java程序