达格斯图尔报告，第7卷，第12期
-
部分： 音量： 达格斯图尔报告，第7卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2018-08-29 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/达格斯图尔报告/达格斯图尔报告7
访问号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
Dagstuhl Reports，第7卷，第12期，2017年12月，完整版
摘要
引用为
@第{DagRep.7.12条， title={{Dagstuhl Reports，第7卷，第12期，2017年12月，完整版}}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={12}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12 }, URN={URN:nbn:de:0030-drops-97330}， doi={10.4230/DagRep.7.12}， annote={关键词：达格斯图尔报告，第7卷，第12期，2017年12月，完整版} }
达格斯图尔报告，目录，第7卷，第12期，2017年
摘要
引用为
@第{DagRep.7.12.i条， title={{Dagstuhl Reports，目录，第7卷，第12期，2017年}}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={12}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.7.12.i }, URN={URN:nbn:de:0030-drops-97329}， doi={10.4230/DagRep.7.12.i}， annote={关键词：Dagstuhl报告，目录，第7卷，第12期，2017年} }
计算代谢组学：识别、解释、成像（17491年达格斯图尔研讨会）
摘要
引用为
@文章{alexandrov_et_al:DagRep.7.12.1， author={Alexandrov、Theodore和B\“ {o} 克尔 塞巴斯蒂安和多雷斯坦，皮特和希曼斯基，爱玛}， title={{计算代谢组学：识别、解释、成像（达格斯图尔研讨会17491）}}， 页数={1--17}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={12}， editor={亚历山德罗夫、西奥多和B\“ {o} 克尔 塞巴斯蒂安和多雷斯坦，皮特和希曼斯基，爱玛}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.1 }, URN={URN:nbn:de:0030-drops-86740}， doi={10.4230/DagRep.7.12.1}， annote={关键词：算法、生物信息学、化学信息学、计算质谱、计算代谢组学、数据库、成像质谱} }
多层次建模（17492年达格斯图尔研讨会）
摘要
引用为
@文章{almeida_et_al:DagRep.7.12.18， author={阿梅达，乔\~ {a} o（o） Paulo A.和Frank、Ulrich和K” {u} 氢萘 ，托马斯}， title={{多级建模（达格斯图尔研讨会17492）}}， 页数={18--49}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={12}， editor={Almeida，Jo\~ {a} o（o） Paulo A.和Frank、Ulrich和K“ {u} hne公司 ，托马斯}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.18 }, URN={URN:nbn:de:0030-drops-86758}， doi={10.4230/DagRep.7.12.18}， annote={关键词：元建模，多级建模} }
编译程序的测试和验证（Dagstuhl研讨会17502）
摘要
引用为
@第{chen_et_al:DagRep.7.12.50条， 作者={陈、俊杰和唐纳森、阿拉斯泰尔·F·和泽勒、安德烈亚斯和张宏宇}， title＝{编译器的测试和验证（Dagstuhl研讨会17502）}， 页数={50--65}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2018年}， 体积={7}， 数字={12}， editor={陈、俊杰和唐纳森、阿拉斯泰尔·F·和泽勒、安德烈亚斯和张宏宇}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.50 }, URN={URN:nbn:de:0030-drops-86763}， doi＝{10.4230/DagRep.7.12.50}， annote={关键词：代码生成、编译器测试、编译器验证、程序分析、程序优化} }