主页EPiC系列Kalpa出版物预印本对于作者对于编辑
主页面•所有卷•编辑委员会

EPiC计算系列

所有卷编号：2398-7340

第25届程序设计、人工智能和推理逻辑会议记录
尼古拉·比约纳,Marijn鞋跟和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第100卷
第七届和第八届吸血鬼研讨会论文集
劳拉·科瓦奇和迈克尔·劳森（编辑）。
EPiC计算系列，第99卷
第39届计算机及其应用国际会议论文集
阿杰·班迪,穆罕默德·侯赛因和英金（编辑）。
EPiC计算系列，第98卷
第36届国际工业与工程计算机应用会议记录
克里希纳·坎波帕蒂,共祝湖和英德拉尼尔·罗伊（编辑）。
EPiC计算系列，第97卷
第十届连续和混合系统应用验证国际研讨会会议记录（ARCH23）
戈兰·弗雷斯和马蒂亚斯·阿尔霍夫（编辑）。
EPiC计算系列，第96卷
2023年欧洲大学信息系统大会论文集
Jean-François Desnos女士和马丁·洛佩斯·诺雷斯（编辑）。
EPiC计算系列，第95卷
第24届程序设计、人工智能和推理逻辑国际会议论文集
鲁齐卡·皮斯卡和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第94卷
2023年社会5.0会议记录
奥罗娜·格伯和克努特·欣克尔曼（编辑）。
EPiC计算系列，第93卷
生物信息学和计算生物学国际会议论文集（BICOB-2023）
希沙姆·穆巴德,塔梅尔·阿尔德瓦里和奥利弗·尤伦斯坦（编辑）。
EPiC计算系列，第92卷
第38届计算机及其应用国际会议论文集
阿杰·班迪,穆罕默德·侯赛因和英金（编辑）。
EPiC计算系列，第91卷
第九届连续和混合系统应用验证国际研讨会会议记录（ARCH22）
戈兰·弗雷斯,马蒂亚斯·阿尔特霍夫,埃尔文·肖奇和杰里米·吉奥切特（编辑）。
EPiC计算系列，第90卷
第35届国际工业与工程计算机应用会议记录
阎氏,共祝湖,克里希纳·坎波帕蒂和高崎后藤（编辑）。
EPiC计算系列，第89卷
第31届软件工程和数据工程国际会议论文集
小弗雷德里克·哈里斯,亚历山大·雷迪和吴锐（Rui Wu）（编辑）。
EPiC计算系列，第88卷
第十届嵌入式系统安全防护国际研讨会论文集
乌尔里希·库恩和范张（音译）（编辑）。
EPiC计算系列，第87卷
EUNIS 2022会议记录——第28届欧洲大学信息系统国际大会
Jean-François Desnos女士,拉明·叶海普尔和雷蒙·沃格尔（编辑）。
EPiC计算系列，第86卷
第十一届国际先进应用信息学大会论文集
松浦东郎（编辑）。
EPiC计算系列，第81卷
南非计算机科学和信息技术研究所第43届会议记录
奥罗娜·格伯（编辑）。
EPiC计算系列，第85卷
2022年社会5.0会议记录-整合数字世界和现实世界以解决商业和社会挑战
克努特·欣克尔曼和奥罗娜·格伯（编辑）。
EPiC计算系列，第84卷
第14届生物信息学和计算生物学国际会议论文集
希沙姆·穆拜德,塔梅尔·阿尔德瓦里和奥利弗·尤伦斯坦（编辑）。
EPiC计算系列，第83卷
第37届计算机及其应用国际会议论文集
比尤特·古普塔,阿杰·班迪和穆罕默德·侯赛因（编辑）。
EPiC计算系列，第82卷
第八届连续和混合系统应用验证国际研讨会（ARCH21）
戈兰·弗雷斯和马蒂亚斯·阿尔霍夫（编辑）。
EPiC计算系列，第80卷
ISCA第34届国际工业与工程计算机应用会议记录
阎氏,共祝湖,全元和高崎后藤（编辑）。
EPiC计算系列，第79卷
2021年欧洲大学信息系统会议记录
斯皮洛斯·波利斯,Jean-François Desnos女士,拉扎罗斯·梅拉科斯和雷蒙·沃格尔（编辑）。
EPiC计算系列，第78卷
ISCA第30届软件工程和数据工程国际会议论文集
小弗雷德里克·哈里斯,吴锐（Rui Wu）和亚历山大·雷迪（编辑）。
EPiC计算系列，第77卷
CAINE 2020年。第33届国际工业和工程计算机应用会议
阎氏,共祝湖,高崎后藤和全元（编辑）。
EPiC计算系列，第75卷
SEDE 2020年。第29届软件工程和数据工程国际会议
亚历山大·雷迪,吴锐（Rui Wu）和小弗雷德里克·哈里斯（编辑）。
EPiC计算系列，第76卷
ARCH20.第七届连续和混合系统应用验证国际研讨会（ARCH20）
戈兰·弗雷斯和马蒂亚斯·阿尔霍夫（编辑）。
EPiC计算系列，第74卷
LPAR23.LPAR-23：第23届逻辑编程、人工智能和推理国际会议
埃尔维拉·阿尔伯特和劳拉·科瓦奇（编辑）。
EPiC计算系列，第73卷
GCAI 2020。第六届全球人工智能会议（GCAI 2020）
格雷戈尔·达诺伊,彭军（Jun Pang）和杰夫·萨特克利夫（编辑）。
EPiC计算系列，第72卷
2018年吸血鬼和2019年吸血鬼。第五和第六次吸血鬼研讨会
劳拉·科瓦奇和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第71卷
第十二届生物信息学和计算生物学国际会议论文集
秦鼎,奥利弗·尤伦斯坦和希沙姆·穆巴德（编辑）。
EPiC计算系列，第70卷
第35届国际计算机及其应用会议论文集
哥顿李尔和英金（编辑）。
EPiC计算系列，第69卷
安德烈-60。伊比利亚的自动新埃拉演绎推理事件
劳拉·科瓦奇,康斯坦丁柯罗文和吉尔斯·雷格（编辑）。
EPiC计算系列，第68卷
2019年第七届OpenSky研讨会会议记录
克里斯蒂娜·波普和马丁·斯特罗梅尔（编辑）。
EPiC计算系列，第67卷
2019年第六届国际OMNeT++社区峰会会议记录
Meyo Zongo公司,安东尼奥·维迪斯,弗拉基米尔·维斯利,泽尼普·瓦坦达斯,阿桑加·乌杜加马,Koojana Kuladinithi公司,迈克尔·柯许和安娜·弗斯特（编辑）。
EPiC计算系列，第66卷
2019年GCAI。第五届全球人工智能大会论文集
迭戈·卡尔瓦内斯和卢卡·伊基（编辑）。
EPiC计算系列，第65卷
第28届软件工程和数据工程国际会议论文集
小弗雷德里克·哈里斯,塞尔吉乌·达斯卡鲁,沙拉德·沙尔马和吴锐（Rui Wu）（编辑）。
EPiC计算系列，第64卷
第32届国际工业与工程计算机应用会议论文集
全元,阎氏,莱斯·米勒,哥顿李尔,共祝湖和高崎后藤（编辑）。
EPiC计算系列，第63卷
2019年SUMO用户大会
梅兰妮·韦伯,劳拉·比克·瓦尔茨,罗伯特·希尔布里希和迈克尔·贝里希（编辑）。
EPiC计算系列，第62卷
ARCH19.第六届连续和混合系统应用验证国际研讨会
戈兰·弗雷斯和马蒂亚斯·阿尔霍夫（编辑）。
EPiC计算系列，第61卷
第十一届生物信息学和计算生物学国际会议论文集
奥利弗·尤伦斯坦,希沙姆·穆巴德和秦鼎（编辑）。
EPiC计算系列，第60卷
2015年和2018年SAT语用学会议录
丹尼尔·勒贝雷和马蒂·贾维萨洛（编辑）。
EPiC计算系列，第59卷
第34届国际计算机及其应用会议论文集
哥顿李尔和英金（编辑）。
EPiC计算系列，第58卷
LPAR-22。第22届程序设计、人工智能和推理逻辑国际会议
吉勒·巴特,杰夫·萨特克利夫和玛格斯·维恩斯（编辑）。
EPiC计算系列，第57卷
第五届国际OMNeT++社区峰会会议记录
安娜·弗斯特,阿桑加·乌杜加马,安东尼奥·维迪斯和乔瓦尼·纳迪尼（编辑）。
EPiC计算系列，第56卷
GCAI-2018。第四届全球人工智能会议
丹尼尔·李,亚历山大·斯汀和托比·沃尔什（编辑）。
EPiC计算系列，第55卷
ARCH18.第五届连续和混合系统应用验证国际研讨会
戈兰·弗雷斯（编辑）。
EPiC计算系列，第54卷
《吸血鬼2017》。第四届吸血鬼研讨会会议记录
劳拉·科瓦奇和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第53卷
ICT4S2018.第五届信息和通信技术促进可持续发展国际会议
比吉特·彭岑斯塔德勒,伊斯特布鲁克,科林·文特斯和赛义德·伊斯蒂亚克·艾哈迈德（编辑）。
EPiC计算系列，第52卷
2017年建筑展。第一届自动推理国际研讨会：挑战、应用、方向和示范成果
吉尔斯·雷格和德米特里·特拉泰尔（编辑）。
EPiC计算系列，第51卷
2017年GCAI。第三届全球人工智能会议
克里斯托夫·本兹穆勒,克里斯汀·利塞蒂和马丁·西奥博尔德（编辑）。
EPiC计算系列，第50卷
2017年证明。第六届嵌入式系统安全防护国际研讨会
乌尔里希·库恩,Jean-Luc危险和西尔万·吉利（编辑）。
EPiC计算系列，第49卷
ARCH17.第四届连续和混合系统应用验证国际研讨会
戈兰·弗雷斯和马蒂亚斯·阿尔霍夫（编辑）。
EPiC计算系列，第48卷
COLIEE 2017年。第四届法律信息提取与蕴涵大赛
肯·佐藤,Mi-Young Kim女士,卡诺吉野,兰迪·戈贝尔和蒂亚戈·奥利维拉（编辑）。
EPiC计算系列，第47卷
LPAR-21。第21届国际程序设计、人工智能和推理逻辑会议
托马斯·艾特和大卫·桑德斯（编辑）。
EPiC计算系列，第46卷
SCSS 2017。2017年第八届软件科学符号计算国际研讨会
穆罕默德·莫斯巴和迈克尔·鲁西诺维奇（编辑）。
EPiC计算系列，第45卷
吸血鬼2016。第三届吸血鬼研讨会会议记录
劳拉·科瓦奇和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第44卷
ARCH16.第三届连续和混合系统应用验证国际研讨会
戈兰·弗雷斯和马蒂亚斯·阿尔霍夫（编辑）。
EPiC计算系列，第43卷
GCAI 2016。第二届全球人工智能会议
克里斯托夫·本兹穆勒,杰夫·萨特克利夫和罗哈斯（编辑）。
EPiC计算系列，第41卷
IWIL-2015年。第十一届逻辑实施国际研讨会
波利斯·寇涅夫,斯蒂芬·舒尔茨和劳伦特·西蒙（编辑）。
EPiC计算系列，第40卷
SCSS 2016。第七届软件科学符号计算国际研讨会
詹姆斯·H·达文波特和法杜拉·古拉比（编辑）。
EPiC计算系列，第39卷
第一和第二次吸血鬼研讨会会议记录
劳拉·科瓦奇和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第38卷
可达性分析的符号和数值方法，第一届国际研讨会，SNR 2015
塞尔吉·博戈莫洛夫和阿什什·蒂瓦里（编辑）。
EPiC计算系列，第37卷
GCAI 2015。全球人工智能会议
乔治·戈特洛布,杰夫·萨特克利夫和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第36卷
LPAR-20。第20届程序设计、人工智能和推理逻辑国际会议-简短介绍
安斯加·芬克,安娜贝拉·麦克维尔,杰夫·萨特克利夫和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第35卷
ARCH14-15。第一届和第二届连续和混合系统应用验证国际研讨会
戈兰·弗雷斯和马蒂亚斯·阿尔霍夫（编辑）。
EPiC计算系列，第34卷
2014年ARQNL。量化非经典逻辑中的自动推理
克里斯托夫·本兹穆勒和延斯·奥顿（编辑）。
EPiC计算系列，第33卷
NLCS’15。第三期自然语言与计算机科学研讨会
金泽真本,拉里·莫斯和瓦莱丽亚·德佩瓦（编辑）。
EPiC计算系列，第32卷
PAAR-2014年。第四次自动推理实践研讨会
斯蒂芬·舒尔茨,莱昂纳多·德·莫拉和波利斯·寇涅夫（编辑）。
EPiC计算系列，第31卷
SCSS 2014。第六届软件科学符号计算国际研讨会
Temur Kutsia公司和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第30卷
2014年VPT。第二次核查和方案转换国际研讨会
阿列克谢·利西萨和安德烈·内梅蒂克（编辑）。
EPiC计算系列，第28卷
位置-14。第五届SAT语用研讨会
丹尼尔·勒贝雷（编辑）。
EPiC计算系列，第27卷
PSI 2014。Ershov信息学会议
伊琳娜·维氏夕卡岩和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第23卷
LPAR-19。第19届国际程序设计、人工智能和推理逻辑会议
肯尼思·麦克米兰,阿尔特·米德尔多普,杰夫·萨特克利夫和安德烈·沃伦科夫（编辑）。
EPiC计算系列，第26卷
TACL 2013年。第六届逻辑拓扑、代数和范畴国际会议
尼古拉斯·加拉托斯,亚历山大·库兹和君士坦丁·齐纳基斯（编辑）。
EPiC计算系列，第25卷
联合国国际单项体育联合会（UNIF）2012年沃斯科后会议记录。第26届国际统一研讨会
圣地亚哥·埃斯科瓦尔,康斯坦丁柯罗文和弗拉基米尔·里巴科夫（编辑）。
EPiC计算系列，第24卷
POS-13。SAT 2013的语用学
丹尼尔·勒贝雷（编辑）。
EPiC计算系列，第29卷
霍华德-60。霍华德·巴林格60岁生日庆典
安德烈·沃伦科夫和玛格丽塔·科罗维纳（编辑）。
EPiC计算系列，第42卷
IWIL 2012。第九届物流实施国际研讨会
康斯坦丁柯罗文,斯蒂芬·舒尔茨和尤金妮娅·特诺夫斯卡（编辑）。
EPiC计算系列，第22卷
SMT 2012。第十届满意模理论国际研讨会
帕斯卡·方丹和阿米特·戈尔（编辑）。
EPiC计算系列，第20卷
PAAR-2012年。第三次自动推理实践研讨会
帕斯卡·方丹,雷娜特·施密特和斯蒂芬·舒尔茨（编辑）。
EPiC计算系列，第21卷
统一2013。第27届国际统一研讨会
康斯坦丁柯罗文和芭芭拉·莫劳斯卡（编辑）。
EPiC计算系列，第19卷
2010年WWV。第六届网络系统自动规范和验证国际研讨会
劳拉·科瓦奇和Temur Kutsia公司（编辑）。
EPiC计算系列，第18卷
ATx’12/WInG’12：自动理论着色和不变量生成研讨会联合会议记录
雅克·弗莱里奥特,彼得·霍夫纳,安娜贝拉·麦克维尔和阿兰·斯梅尔（编辑）。
EPiC计算系列，第17卷
2013年VPT。第一届核查和程序转换国际研讨会
阿列克谢·利西萨和安德烈·内梅蒂克（编辑）。
EPiC计算系列，第16卷
SCSS 2013。第五届软件科学符号计算国际研讨会
劳拉·科瓦奇和Temur Kutsia公司（编辑）。
EPiC计算系列，第15卷
2013年PxTP。第三届定理证明交换国际研讨会
贾斯敏·克里斯蒂安·布兰切特和约瑟夫·乌尔班（编辑）。
EPiC计算系列，第14卷
LPAR-17-短。第17届国际程序设计、人工智能和推理逻辑会议的短文。
安德烈·沃伦科夫,杰夫·萨特克利夫,马提亚斯·巴兹和克里斯蒂安·弗缪勒（编辑）。
EPiC计算系列，第13卷
2010年PSPL。程序逻辑证明系统国际研讨会
亚历克斯·辛普森（编辑）。
EPiC计算系列，第12卷
CASC-J6。第六届IJCAR ATP系统大赛
杰夫·萨特克利夫（编辑）。
EPiC计算系列，第11卷
图灵-100。阿兰·图灵百年诞辰
安德烈·沃伦科夫（编辑）。
EPiC计算系列，第10卷
2010年机翼。2010年不变量生成研讨会
安德烈·沃伦科夫,劳拉·科瓦奇和尼古拉·比约纳（编辑）。
EPiC计算系列，第1卷
PAAR-2010：自动推理实践方面第二次研讨会会议记录
雷娜特·施密特,斯蒂芬·舒尔茨和波利斯·寇涅夫（编辑）。
EPiC计算系列，第9卷
POS-10。SAT的语用学
丹尼尔·勒贝雷（编辑）。
EPiC计算系列，第8卷
LAM’10。第三届物流、代理和移动性国际研讨会
伯恩特·米勒（编辑）。
EPiC计算系列，第7卷
EMSQMS 2010。解决方案评估方法和解决方案质量指标研讨会
亚伦·斯塔姆,杰夫·萨特克利夫和塞萨尔·蒂内利（编辑）。
EPiC计算系列，第6卷
第10部分。交互式定理证明程序中的偏爱性和递归性
叶卡捷琳娜·科门丹茨卡娅,安娜·波夫和米拉德·尼基（编辑）。
EPiC计算系列，第5卷
WCB10.基于约束的生物信息学方法研讨会
阿戈斯蒂诺·多维尔,亚历山德罗·达尔·帕洛和塞巴斯蒂安·威尔（编辑）。
EPiC计算系列，第4卷
验证-2010。第六届国际验证研讨会
马库斯·阿德霍尔德,谢尔盖·奥特西耶和海科·曼特尔（编辑）。
EPiC计算系列，第3卷
IWIL 2010。第八届物流实施国际研讨会
杰夫·萨特克利夫,斯蒂芬·舒尔茨和尤金妮娅·特诺夫斯卡（编辑）。
EPiC计算系列，第2卷
版权所有©2012-2024 easychair.org。保留所有权利。