Digital computers; Meetings; Company level organizations; Programming languages; Indexes; Subject indexing; Industries; Scientific organizations; Universities; Industrial computers; Acronyms;
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:与HPCA-18联合举办的第七届唯一芯片和系统国际研讨会第十八届高性能计算机体系结构年度研讨会
机译:CORCS-IEESD 2011-关于资源受限系统的基于组件的设计的第三届IEEE国际研讨会/关于嵌入式系统设计的工业经验的第三届IEEE国际研讨会
机译:国家航空航天教育工作坊的航空航天教育工作坊格式。
机译:第六届国际脑机接口会议研讨会:脑机接口的过去现在和将来
机译:使自主计算系统负责:人机交互的问题:数据库和专家系统应用程序,2003年。会议记录。第十四届国际研讨会