000 | 02576nam a22003855i 4500 | ||
---|---|---|---|
001 | 305549 | ||
003 | MX-SnUAN | ||
005 | 20170705134307.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2012 gw | o |||| 0|eng d | ||
020 |
_a9783642297090 _99783642297090 |
||
024 | 7 |
_a10.1007/9783642297090 _2doi |
|
035 | _avtls000359107 | ||
039 | 9 |
_a201509030611 _bVLOAD _c201405070241 _dVLOAD _y201402191547 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA76.9.L63 | |
100 | 1 |
_aClarke, Edmund. _eeditor. _9344631 |
|
245 | 1 | 0 |
_aPerspectives of Systems Informatics : _b8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / _cedited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
300 |
_axiv, 411 páginas 130 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 ; _v7162 |
|
500 | _aSpringer eBooks | ||
520 | _aThis book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aVirbitskaite, Irina. _eeditor. _9339407 |
|
700 | 1 |
_aVoronkov, Andrei. _eeditor. _9328966 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783642297083 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-29709-0 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c305549 _d305549 |