Fortell venner om denne varen:
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I - Lecture Notes in Computer Science 2014 edition
Javier Esparza
Pris
zł 203,90
Bestillingsvarer
Forventes levert 28. jul - 5. aug
Legg til iMusic ønskeliste
Eller
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I - Lecture Notes in Computer Science 2014 edition
Javier Esparza
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014.
1090 pages, 74 black & white illustrations, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 24. juni 2014 |
| ISBN13 | 9783662439470 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 1090 |
| Mål | 155 × 235 × 56 mm · 1,54 kg |
| Språk | Fransk |
| Redaktør | Esparza, Javier |
| Redaktør | Fraigniaud, Pierre |
| Redaktør | Husfeldt, Thore |
| Redaktør | Koutsoupias, Elias |
![Cover for Javier Esparza · Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II - Theoretical Computer Science and General Issues (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/500/9783662439500.jpg?javier-esparza-2014-automata-languages-and-programming-41st-international-colloquium-icalp-2014-copenhagen-denmark-july-8-11-2014-proceedings-part-ii-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1443765990)
![Cover for Javier Esparza · Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series (Pocketbok) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)](https://imusic.b-cdn.net/images/item/original/051/9783642096051.jpg?javier-esparza-2010-unfoldings-a-partial-order-approach-to-model-checking-monographs-in-theoretical-computer-science-an-eatcs-series-pocketbok&class=scaled&v=1408472023)
![Cover for Javier Esparza · Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series (Innbunden bok) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/259/9783540774259.jpg?javier-esparza-2008-unfoldings-a-partial-order-approach-to-model-checking-monographs-in-theoretical-computer-science-an-eatcs-series-innbunden-bok&class=scaled&v=1539388617)
