×
意大利，朱塞佩·F·。（编辑）;蒂齐亚娜·玛格丽亚·斯特芬（编辑）;波科恩，雅罗斯拉夫（编辑）;Jean-Jacques，Quishuter（编辑）;罗杰·瓦滕霍夫（编辑）

SOFSEM 2015：计算机科学理论与实践。2015年1月24日至29日，第41届计算机科学理论与实践当前趋势国际会议，捷克共和国，Pec pod Snězzo kou。诉讼程序。 （英语） Zbl 1303.68019号

计算机科学课堂讲稿8939.柏林：施普林格出版社（ISBN 978-3-662-46077-1/pbk）。十六、616页。(2015).

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1298.68026号].
索引文章：
吉里维德曼；van Leeuwen，简，什么是计算：一种认识论方法，1-13[Zbl 1432.68142号]
Halldórsson，Magnüs M。，图着色近似问题的进展（及其不足），14-23[Zbl 1432.68356号]
贾里德·赛亚（Jared Saia）；马赫迪·扎马尼，可扩展多方计算的最新结果，24-44[Zbl 1432.68157号]
JiříBarnat，Quo-vadis显式状态模型检查，46-57[Zbl 1432.68255号]
亚历山德罗·阿洛伊西奥；阿尔弗雷多·纳瓦拉，为建立多接口网络平衡能耗，102-114[Zbl 1432.68008号]
Michael A.Bekos。；迈克尔·考夫曼；斯蒂芬·科波罗夫（Stephen Kobourov）；桑卡·维拉莫尼，最大k微分着色问题，115-127[Zbl 1432.68336号]
阿尔贝托·贝托尼；马西米利亚诺Goldwurm；林建毅，欧氏平面上带尺寸约束的2-聚类精确算法，128-139[Zbl 1432.68378号]
Bose，Prosenjit；斯特凡·杜罗彻（Stephane Durocher）；蒙达尔，德巴乔蒂；皮博迪，马克西姆；马修·斯卡拉（Matthew Skala）；穆罕默德·阿卜杜勒·瓦希德，凸分区中的局部布线，140-151[Zbl 1432.68341号]
费伦茨·巴伊托；芬德里奇、萨沙；杰拉尔德·吕特根（Gerald Lüttgen）；沃尔特·福格勒，非确定性模态接口，152-163[兹比尔1345.68230]
克鲁巴克，马雷克；Gąsieniec，Leszek；托马斯·戈里（Thomas Gorry）；罗素·马丁，在线组搜索，164-176[Zbl 1410.68159号]
杰罗姆·多赫劳，带有次线性建议的在线制造周期计划，177-188[Zbl 1432.68589号]
阿什利·法鲁吉亚（Ashley Farrugia）；Gąsieniec，Leszek；库什纳，Ł库卡斯；爱德华多·帕切科，限制图中的确定性集合，189-200[Zbl 1432.68351号]
Fügenschuh，Armin；Junosza-Szaniawski，Konstanty；托尔斯滕·克鲁格；科瓦西博斯基，Sławomir；托马斯·施莱切特，最快、平均和分位数计划，201-216[Zbl 1435.90066号]
罗纳德·哈恩（Ronald de Haan）；斯泽德，斯特凡，参数化复杂度类的机器特征，超出para-NP，217-229[Zbl 1370.68145号]
范·赫斯特（Alan C.van Hulst）。；米歇尔·雷尼尔斯（Michel A.Reniers）。；万·J·福克金。，模态逻辑的最大允许受控系统综合，230-241[Zbl 1432.68248号]
托马斯·休谟（Thomas Hume）；苏伊丹，海萨姆；马查·尼古尔斯基；纪尧姆·布林，跨物种保守活性模块检测问题的近似硬度，242-253[Zbl 1435.92023号]
霍夫纳，福尔克；科穆塞维奇，基督徒；曼纽尔·索尔吉，寻找高度连通的子图，254-265[兹比尔1432.68358]
Junosza-Szaniawski，Konstanty；马修·利德洛夫；帕韦·鲁斯基，修复图形的错误着色，266-276[Zbl 1386.68072号]
沙欣·卡马利；亚历杭德罗·洛佩斯·奥尔蒂斯、在云中租用服务器的高效在线策略，277-288[Zbl 1432.68013号]
德米特里·科索洛波夫；米哈伊尔·鲁宾奇克（Mikhail Rubinchik）；阿塞尼·M·舒尔。，\（\mathrm{Pal}^{k}\）是在线线性识别的，289-301[Zbl 1432.68228号]
Peter Kostolányi，flip-pushdown自动机的两个语法等价物，302-313[Zbl 1364.68252号]
克里斯劳克斯，里哈兹；巴洛迪斯、卡斯帕斯，关于有限超度量自动机的层次类，314-326[Zbl 1432.68229号]
克里斯蒂安·拉福雷斯特（Christian Laforest）；妈妈，本杰明单冲突图中的Nash-Williams型和Chvátal型条件，327-338[Zbl 1435.05124号]
内尔玛·莫雷拉；Giovanni Pighizini；罗杰里奥·里斯，部分指定行为自动机的最优状态约简，339-351[Zbl 1432.68235号]
Masaki Nakanishi，带垃圾带的量子下推自动机，352-363[Zbl 1432.68238号]
纳弗里斯，拉格纳；克里斯蒂安·罗森克《通过派系安排表征叶权》，364-376[Zbl 1435.05096号]
大川、平崎；伊祖米、大辅，填补全球问题分布式复杂性中的对数缺口，377-388[Zbl 1432.68364号]
弗里德里希·奥托，关于可视下推跟踪语言，389-400[Zbl 1432.68240号]
罗森伯格，拉尔夫；格劳，萨沙；迈克尔·罗斯伯格，在网络中占据主导地位，401-411[Zbl 1432.68370号]
Kei Uchizawa；Eiji Takimoto，具有有界权重的线性决策树的下限，412-422[Zbl 1432.68167号]
马塞·霍瓦思，针对云计算优化的基于属性的加密，566-577[Zbl 1432.68126号]
马西耶·斯科尔斯基，真正的随机数生成器在不断变化的环境中是安全的：改进了安全界限，590-602[Zbl 1314.94095号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68季度xx 计算理论
00B25型 杂项特定利益的会议记录

引文：

Zbl 1298.68026号
PDF格式BibTeX公司 XML格式引用
\textit{G.F.Italiano}（编辑）等，SOFSEM 2015：计算机科学的理论与实践。2015年1月24日至29日，第41届计算机科学理论与实践当前趋势国际会议，捷克共和国，Pec pod Snězzo kou。诉讼程序。柏林：施普林格出版社（2015；Zbl 1303.68019）
全文： 内政部