第一图书网

全部分类

基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformation

Alberto Pettorossi 1 edition (2002年8月1日)
出版时间：2002-12
出版社：1 edition (2002年8月1日)
作者：Alberto Pettorossi
页数：265
图书封面

下载链接
    基于逻辑的程序综合与变换/会议录 Logic based program synthesis and transformationPDF格式下载

相关图书

算法工程与实验／会议录 Algorithm engineering and experiments
应用并行计算
电工电子技术
火灾爆炸预防控制工程学
Drinks (精装)
Wine Report 2007 (平装)
The Arabian Nights: The Marvels and Wonders of the Thousand and One Nights (平装)
Lighting by Design (精装)
大学入学申请指南 Winning the Heart of the College Admissions Dean
Flight: 100 Years of Aviation (精装)
Most Important Thing I've Learned in Life (平装)
Madame Bovary (平装)
Golf for Dummies (mini)(傻瓜也会打高尔夫0
Alfred Hitchcock in the Vertigo Murders (平装)
Go Tennis (精装)
夸克与轻子物理——原理导引
健康美食葱姜蒜
健康粗食风
Look Great, Feel Great: 12 Keys to Enjoying a Healthy Life Now (平装)
The Kiss: A Romantic Treasury Of Photographs And Quotes (精装)
眼科临证备要
义教初中牛津英语
结构的、句法的和统计的模式认知
计算学习理论/会议录 Computational learning theory
电子服务的技术Technologies for e-services
电子政务E lectronic government
地球村中的戏剧互动
计算科学
先进因特网服务与应用 Advanced Internet services and applications
CONCUR 2001 － 并发理论 CONCUR 2001
Parallel Problem Solving from Nature - PPSN VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings (平装)
高级信息系统工程 Advanced information systems engineering
自动演绎－CADE-18/会议录 Automated deduction-CADE-18
绘图
下一代信息技术与系统/会议录 Next generation information technologies and systems
基于Web的学习进展Advances in web-based learning
对象模型化与OCL
整数编程与组合优化/Integer programming and combinatorial optimization
人工进化/Artificial evolution
World War II: Day by Day (精装)
计算科学
计算科学
极限编程与灵巧方法
实例推理进展／会议录 Advances in case-based reasoning
随机化与近似技术／会议录 Randomization and approximation
计算逻辑约束
群件
计算机视觉系统/Computer vision systems
过程代数与概率方法、性能建模与验证Process algebra and probabilistic methods
交叉语言信息检索系统评价 Evaluation of cross-language information retrieval systems