第一图书网

全部分类

可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing

Biere, Armin; Gomes, Carla P.; 湖北辞书出版社
出版时间：2006-12
出版社：湖北辞书出版社
作者：Biere, Armin; Gomes, Carla P.;
页数：438
图书封面

下载链接
    可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testingPDF格式下载

相关图书

学习理论
成像和视频技术进展 Advances in image and video technology
数据语义学杂志 VI/Journal on data semantics VI
集成电路与系统设计、功率与定时建模、优化与模拟
传感系统分布计算 /2006年第2届IEEE国际会议录Distributed computing
盛宣怀实业函电稿（上下册）
相互作用的数码讲故事和游戏技术/会议录Technologies for interactive digital storytelling and entertainment
新国际医学与健康标准百科全书（4卷）
弹性工作的处理 Managing Flexible Working
曾几何时
物理学 第6版 Physics, 6th Edition
如何合并
英国电子港湾开业傻瓜书 Starting a Business on eBay.co.uk for Dummies
如何与客户谈话
Blackwell管理百科全书
智能主体与对等计算/Agents and peer-to-peer computing
组合图像分析/会议录Combinatorial image analysis
静态分析／会议录Static analysis
IP运作与管理的自主原则/ Autonomic principles of IP operations and management
实时与容错系统中的形式技术／会议录Formal techniques in real-time and fault-tolerant systems
生物信息学中的算法/会议录 Algorithms in bioinformatics
病毒入侵监测与安全弱点评估/Detection of intrusions and malware & vulnerability assessment
多智能体系统技术
静态分析/Static analysis
因特网上多媒体的管理／会议录Management of multimedia on the Internet
多代理系统Argumentation in multi-agent systems
大规模多代理系统I/Massively multi-agent systems I
しょこれみかんぬ
水粉静物-名师绘画教室
名师绘画教室
英语音标-小小口袋书
微型计算机原理及其接口技术
宗教研究與詮釋學
Web和无线地理学信息系统 LNCS-4295
Web 时代信息管理进展 Advances in web-age information managem
图象与视频检索
编程语言与系统/Programming languages and systems
Web服务与形式方法/Web services and formal methods
机械视觉、成像处理和图形分析进展 Advances in machine vision, image processing, and pattern analysis
糖尿病吃什么
食品营养与卫生学
食品营养
汇聚网络与服务的管理
Web数据挖掘与Web使用分析进展/Advances in web mining and web usage analysis
工程与建筑中的智能计算
自管理型网络、系统与服务/会议录LNCS-3996
耳鼻咽喉-头颈外科学
音乐剧《蝶》主要唱段
木管五重奏中国曲选
西方民族音乐学的理论与方法