Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann (eds.)The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management.
年:
2015
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
717
ISBN 10:
3662476657
ISBN 13:
9783662476659
系列:
Lecture Notes in Computer Science 9135
文件:
PDF, 12.46 MB
IPFS:
,
english, 2015
因版权方投诉,本书无法下载