000			02212nam a22003735i 4500
001			305254
003			MX-SnUAN
005			20160429155941.0
007			cr nn 008mamaa
008			150903s2012 gw | o |||| 0|eng d
020			_a9783642316067 _99783642316067
024	7		_a10.1007/9783642316067 _2doi
035			_avtls000359624
039		9	_a201509031004 _bVLOAD _c201405070248 _dVLOAD _y201402191559 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA75.5-76.95
100	1		_aMoreira, Nelma. _eeditor. _9344262
245	1	0	_aImplementation and Application of Automata : _b17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / _cedited by Nelma Moreira, Rogério Reis.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012.
300			_axiii, 369 páginas 76 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 ; _v7381
500			_aSpringer eBooks
520			_aThis book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aReis, Rogério. _eeditor. _9344263
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783642316050
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-31606-7 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c305254 _d305254