零食网

Essays 逻辑与程序语义学：德克斯特 and 海外直订Logic Program Kozen Semantics Occasion Dexter the Dedicated

￥658满600减30售0件

中华商务图书专营店

and 海外直订Logic 基于逻辑 Synthesis Transformation Based Program 程序综合与转换

￥658满600减30售0件

中华商务图书专营店

工具和方法 Program 5th 第五届国 and 海外直订Tools Tmpa Methods Conference 项目分析 International 2019 Analysis

￥658满600减30售0件

中华商务图书专营店

Based Symposium 20th Program 海外直订Logic and Transformation 基于逻辑 Synthesis 程序合成与转换 International

￥658满600减30售0件

中华商务图书专营店

Transformation and Synthesis 海外直订Logic Based Symposium Program 程序综合和转换： International 18th 基于逻辑

￥658满600减30售0件

中华商务图书专营店

工具和方法 Program 4th 第四 and 海外直订Tools Tmpa Methods Conference 程序分析 International 2017 Analysis

￥658满600减30售0件

中华商务图书专营店

Based Symposium 14th Program 海外直订Logic and Transformation 基于逻辑 Synthesis 程序综合与转换 International

￥658满600减30售0件

中华商务图书专营店

Transformation and Synthesis 海外直订Logic Based Symposium Program 程序合成与转换： International 28th 基于逻辑

￥658满600减30售0件

中华商务图书专营店

Based Symposium 13th Program 海外直订Logic and Transformation 程序综合和转换： Synthesis 基于逻辑 International

￥658满600减30售0件

中华商务图书专营店

and 海外直订Logic 基于逻辑 Synthesis Transformation Based Program 程序综合与转换

￥658满600减30售0件

中华商务图书专营店

Conference Program 海外直订Mathematics 4th International Marst 数学：第四届国际 Construction 课程建设 Mpc

￥658满600减30售0件

中华商务图书专营店

Based Symposium 16th Program 海外直订Logic and Transformation 基于逻辑 Synthesis 程序综合与转换 International

￥658满600减30售0件

中华商务图书专营店

International 8th Construction 海外直订Mathematics 2006 Program 程序构建数学 MPC Conference Kur

￥658满600减30售0件

中华商务图书专营店

Analysis Essays and 海外直订Program Theory Practice Reinh 理论与实践 Compilation 程序分析与汇编 Dedicated

￥658满600减30售0件

中华商务图书专营店

Transformation International Based and Synthesis 程序综合与转换 海外直订Logic 基于逻辑 Program Workshop 10th

￥658满600减30售0件

中华商务图书专营店

Program Implementation 海外直订Semantics Applications 程序生成 and 应用和实现 International Generation 语义

￥658满600减30售0件

中华商务图书专营店

Proceedings Transformation and 海外直订Logic Program Synthesis 逻辑程序综合与转换： Lopstr Internatio

￥658满600减30售0件

中华商务图书专营店

Based Symposium 17th Program 海外直订Logic and Transformation 基于逻辑 第1 Synthesis 程序综合与转换 International

￥658满600减30售0件

中华商务图书专营店

International 7th Construction 海外直订Mathematics 2004 Program 课程建设数学：第七届国际会 MPC Conference Sti

￥658满600减30售0件

中华商务图书专营店

Based Workshop 9th Program 海外直订Logic and Transformation 程序综合和转换： Synthesis 基于逻辑 International

￥658满600减30售0件

中华商务图书专营店

Development Logic Computational 计算逻辑中 海外直订Program Log Advances 程序开发：基于 Research Decade

￥658满600减30售0件

中华商务图书专营店

Program Lopstr International Synthesis 海外直订Logic Transformation 6th 第六届 and 逻辑程序综合与转换 Workshop

￥658满600减30售0件

中华商务图书专营店

Proceedings Transformation and 海外直订Logic Program Synthesis 逻辑程序合成与转换：Lopst Lopstr Internatio

￥658满600减30售0件

中华商务图书专营店

Transformation International Based and Synthesis 程序综合与转换 海外直订Logic 基于逻辑 Program Workshop 12th

￥658满600减30售0件

中华商务图书专营店

The Services 海外直订Towards the Program Internet 特修斯研究计划 Research Theseus 迈向互联网服务

￥658满600减30售0件

中华商务图书专营店

International MPC Third Construction 数学 海外直订Mathematics 程序构建 第三届国际 Program Conference

￥658满600减30售0件

中华商务图书专营店

Transformation and Synthesis 海外直订Logic Based Symposium Program 程序综合和转换： International 19th 基于逻辑

￥658满600减30售0件

中华商务图书专营店

Applications Intern Generation and 海外直订Semantics Program 程序生成 应用和实现 Implementation 语义 Second

￥658满600减30售0件

中华商务图书专营店

5th Transformation and 海外直订Logic Program Lopstr Synthesis 逻辑程序综合与转换：第五届 Workshop International

￥658满600减30售0件

中华商务图书专营店

International 13th Construction 海外直订Mathematics 2019 Program 课程建设数学：第13届国际会 MPC Conference

￥658满600减30售0件

中华商务图书专营店

Interprocedural Its Framework Program 海外直订Optimal New Applicatio 程序优化框架及其应用 Optimization 一种新 and

￥658满600减30售0件

中华商务图书专营店

Based Workshop 8th Program 海外直订Logic and Transformation 程序综合与转换： Synthesis 基于逻辑 International

￥658满600减30售0件

中华商务图书专营店