| 000 | 02626nam a22004095i 4500 | ||
|---|---|---|---|
| 001 | 302104 | ||
| 003 | MX-SnUAN | ||
| 005 | 20160429155734.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150903s2010 gw | o |||| 0|eng d | ||
| 020 |
_a9783642141652 _99783642141652 |
||
| 024 | 7 |
_a10.1007/9783642141652 _2doi |
|
| 035 | _avtls000355346 | ||
| 039 | 9 |
_a201509030954 _bVLOAD _c201405060349 _dVLOAD _y201402191040 _zstaff |
|
| 040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
| 050 | 4 | _aQA76.9.A43 | |
| 100 | 1 |
_aAbramsky, Samson. _eeditor. _9340235 |
|
| 245 | 1 | 0 |
_aAutomata, Languages and Programming : _b37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / _cedited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
| 300 |
_axxiii, 754 páginas 42 ilustraciones _brecurso en línea. |
||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_acomputadora _bc _2rdamedia |
||
| 338 |
_arecurso en línea _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF _2rda |
||
| 490 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6198 |
|
| 500 | _aSpringer eBooks | ||
| 520 | _aThe two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010. The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management. LNCS 6198 contains 60 contributions of track A selected from 222 submissions as well as 2 invited talks. | ||
| 590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
| 700 | 1 |
_aGavoille, Cyril. _eeditor. _9340236 |
|
| 700 | 1 |
_aKirchner, Claude. _eeditor. _9332499 |
|
| 700 | 1 |
_aMeyer auf der Heide, Friedhelm. _eeditor. _9340237 |
|
| 700 | 1 |
_aSpirakis, Paul G. _eeditor. _9329316 |
|
| 710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
| 776 | 0 | 8 |
_iEdición impresa: _z9783642141645 |
| 856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-14165-2 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 | _c14 | ||
| 999 |
_c302104 _d302104 |
||