先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
SOFSEM 2019: Theory and Practice of Computer Science
会议名
45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2019)
中译名
《第四十五届国际计算机科学理论与实践当前趋势会议》
机构
Slovak Society for Computer Science
会议日期
January 27-30, 2019
会议地点
Novy Smokovec, Slovakia
出版年
2019
馆藏号
329518
题名
作者
出版年
Cross-Layer Adaptation in Multi-layer Autonomic Systems
Uwe Assmann; Dominik Grzelak; Johannes Mey; Dmytro Pukhkaiev; Rene Schone; Christopher Werner; Georg Puschel
2019
Distance-Based Community Search (Invited Talk Extended Abstract)
Francesco Bonchi
2019
Minicomplexity: Some Motivation, Some History, and Some Structure
Christos A. Kapoutsis
2019
Action Research in Software Engineering: Metrics' Research Perspective
Miroslaw Staron
2019
From Big Data to Big Knowledge Large-Scale Information Extraction Based on Statistical Methods
Martin Theobald
2019
Sorting Networks on Restricted Topologies
Indranil Banerjee; Dana Richards; Igor Shinkar
2019
Minimum Reload Cost Graph Factors
Julien Baste; Didem Goziipek; Mordechai Shalom; Dimitrios M. Thilikos
2019
Stable Divisorial Gonality is in NP
Hans L. Bodlaender; Marieke van der Wegen; Tom C. van der Zanden
2019
Coalition Resilient Outcomes in Max k-Cut Games
Raffaello Carosi; Simone Fioravanti; Luciano Guala; Gianpiero Monaco
2019
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability
Milos Chromy; Petr Kucera
2019
On Infinite Prefix Normal Words
Ferdinando Cicalese; Zsuzsanna Liptak; Massimiliano Rossi
2019
Priority Scheduling in the Bamboo Garden Trimming Problem
Mattia D'Emidio; Gabriele Di Stefano; Alfredo Navarra
2019
Patrolling on Dynamic Ring Networks
Shantanu Das; Giuseppe A. Di Luna; Leszek A. Gasieniec
2019
Gathering of Robots in a Grid with Mobile Faults
Shantanu Das; Nikos Giachoudis; Flaminia L. Luccio; Euripides Markou
2019
Probabilistic Parameterized Polynomial Time
Nils Donselaar
2019
On Matrix Ins-Del Systems of Small Sum-Norm
Henning Fernau; Lakshmanan Kuppusamy; Indhumathi Raman
2019
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints
Chong Gao; Taolue Chen; Zhilin Wu
2019
On the Complexity of Optimal Matching Reconfiguration
Manoj Gupta; Hitesh Kumar; Neeldhara Misra
2019
Forbidden Directed Minors, Directed Path-Width and Directed Tree-Width of Tree-Like Digraphs
Frank Gurski; Carolin Rehs
2019
Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption
Lane A. Hemaspaandra; David E. Narvaez
2019
1
2
3
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024