AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有近数据处理的并发数据结构
Jiwon Choe; Amy Huang; Tali Moreshet; Maurice Herlihy; R. Iris Bahar;
机译:用于高度并发数据结构的集成规范和验证技术
机译:异步并发:扩展并发搜索数据结构的秘诀
机译:在特定于域的数据结构中利用并发性:用于在线交易的并发订单簿和工作量生成器
机译:并发数据结构的高级并发技术
机译:糖缀合物数据库:结构-带注释的聚糖结构数据库和N-聚糖一级结构验证服务
机译:参数化并发程序和并发数据结构的时间属性的形式验证
机译:使用单个并发事务数据库基础结构在单个数据库架构上提供多个并发事务
机译:使用单并发交易数据库基础结构在单数据库架构上提供多个并发交易
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。