Cover Image
Read Now

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 42...

Full description

Bibliographic Details
Other Authors: Fomin, Fedor V. (Editor), Freivalds, Rusins (Editor), Kwiatkowska, Marta (Editor), Peleg, David (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2013, 2013
Edition:1st ed. 2013
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Communication Networks
Computer Science
Computer Science / Mathematics
Discrete Mathematics In Computer Science
Information Storage And Retrieval
Algorithms
Application Software
Information Storage And Retrieval Systems
Computer Networks 
Discrete Mathematics
Computer And Information Systems Applications
Theory Of Computation
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02290nmm a2200433 u 4500
001 EB000404769
003 EBX01000000000000000257841
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130802 ||| eng
020 |a 9783642392122 
100 1 |a Fomin, Fedor V.  |e [editor] 
245 0 0 |a Automata, Languages, and Programming  |h Elektronische Ressource  |b 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II  |c edited by Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg 
250 |a 1st ed. 2013 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2013, 2013 
300 |a XXVI, 698 p. 55 illus  |b online resource 
505 0 |a Algorithms, complexity and games -- Logic, semantics, automata and theory of programming -- Foundations of networked computation 
653 |a Computer Communication Networks 
653 |a Computer science 
653 |a Computer science / Mathematics 
653 |a Discrete Mathematics in Computer Science 
653 |a Information Storage and Retrieval 
653 |a Algorithms 
653 |a Application software 
653 |a Information storage and retrieval systems 
653 |a Computer networks  
653 |a Discrete mathematics 
653 |a Computer and Information Systems Applications 
653 |a Theory of Computation 
700 1 |a Freivalds, Rusins  |e [editor] 
700 1 |a Kwiatkowska, Marta  |e [editor] 
700 1 |a Peleg, David  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-642-39212-2 
856 4 0 |u https://doi.org/10.1007/978-3-642-39212-2?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 518.1 
520 |a This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation 

Similar Items