Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Magnús M. Halldórsson

ISBN 10: 3662476711 / ISBN 13: 9783662476710

Published by Springer Berlin Heidelberg, 2015

About this Item

Druck auf Anfrage Neuware - Printed after ordering - 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.

Seller Inventory # 9783662476710

Bibliographic Details

• Title: Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I
• Publisher: Springer Berlin Heidelberg
• Publication Date: 2015
• Language: English
• ISBN 10: 3662476711
• ISBN 13: 9783662476710
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

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.