| 000 | 02737nam a22005775i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-31585-5 | ||
| 003 | DE-He213 | ||
| 005 | 20160624102214.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120623s2012 gw | s |||| 0|eng d | ||
| 020 |
_a9783642315855 _9978-3-642-31585-5 |
||
| 024 | 7 |
_a10.1007/978-3-642-31585-5 _2doi |
|
| 050 | 4 | _aQA76.9.A43 | |
| 072 | 7 |
_aUMB _2bicssc |
|
| 072 | 7 |
_aCOM051300 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aAutomata, Languages, and Programming _h[electronic resource] : _b39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II / _cedited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. |
| 260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
| 300 |
_a700p. 51 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7392 |
|
| 520 | _aThis two-volume set of LNCS 7391 and LNCS 7392 constitutes the refereed proceedings of the 39th International Colloquium on Automata, Languages and Programming, ICALP 2012, held in Warwick, UK, in July 2012. The total of 123 revised full papers presented in this volume were carefully reviewed and selected from 432 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. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aComputer Communication Networks. | |
| 650 | 0 | _aComputer software. | |
| 650 | 0 | _aComputational complexity. | |
| 650 | 0 | _aInformation storage and retrieval systems. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aAlgorithm Analysis and Problem Complexity. |
| 650 | 2 | 4 | _aComputation by Abstract Devices. |
| 650 | 2 | 4 | _aComputer Communication Networks. |
| 650 | 2 | 4 | _aInformation Storage and Retrieval. |
| 650 | 2 | 4 | _aInformation Systems Applications (incl. Internet). |
| 650 | 2 | 4 | _aDiscrete Mathematics in Computer Science. |
| 700 | 1 |
_aCzumaj, Artur. _eeditor. |
|
| 700 | 1 |
_aMehlhorn, Kurt. _eeditor. |
|
| 700 | 1 |
_aPitts, Andrew. _eeditor. |
|
| 700 | 1 |
_aWattenhofer, Roger. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642315848 |
| 786 | _dSpringer | ||
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7392 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-31585-5 |
| 942 |
_2EBK10335 _cEBK |
||
| 999 |
_c39629 _d39629 |
||