|
LDR
| 02152nam a22005415i 4500 |
|---|
| 001 | 42090 |
|---|
| 003 | CONS |
|---|
| 005 | 20130727010600.0 |
|---|
| 007 | cr nn 008mamaa |
|---|
| 008 | 120512s2012 gw | s |||| 0|eng d |
|---|
| 020 | | . |
‡a9783642297090
‡9978-3-642-29709-0 |
|---|
| 024 | 7 | . |
‡a10.1007/978-3-642-29709-0
‡2doi |
|---|
| 035 | | . |
‡a(DE-He213)978-3-642-29709-0 |
|---|
| 050 | | 4. |
‡aQA76.9.L63 |
|---|
| 050 | | 4. |
‡aQA76.5913 |
|---|
| 050 | | 4. |
‡aQA76.63 |
|---|
| 072 | | 7. |
‡aUM
‡2bicssc |
|---|
| 072 | | 7. |
‡aUYF
‡2bicssc |
|---|
| 072 | | 7. |
‡aCOM051000
‡2bisacsh |
|---|
| 072 | | 7. |
‡aCOM036000
‡2bisacsh |
|---|
| 100 | 1 | . |
‡aClarke, Edmund.
‡eeditor. |
|---|
| 245 | 1 | 0. |
‡aPerspectives of Systems Informatics
‡h[electronic resource] :
‡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. 130 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 ;
‡v7162 |
|---|
| 650 | | 0. |
‡aComputer science. |
|---|
| 650 | | 0. |
‡aSoftware engineering. |
|---|
| 650 | | 0. |
‡aComputer software. |
|---|
| 650 | | 0. |
‡aLogic design. |
|---|
| 650 | | 0. |
‡aComputer vision. |
|---|
| 650 | 1 | 4. |
‡aComputer Science. |
|---|
| 650 | 2 | 4. |
‡aLogics and Meanings of Programs. |
|---|
| 650 | 2 | 4. |
‡aProgramming Languages, Compilers, Interpreters. |
|---|
| 650 | 2 | 4. |
‡aSoftware Engineering. |
|---|
| 650 | 2 | 4. |
‡aProgramming Techniques. |
|---|
| 650 | 2 | 4. |
‡aAlgorithm Analysis and Problem Complexity. |
|---|
| 650 | 2 | 4. |
‡aComputer Imaging, Vision, Pattern Recognition and Graphics. |
|---|
| 700 | 1 | . |
‡aVirbitskaite, Irina.
‡eeditor. |
|---|
| 700 | 1 | . |
‡aVoronkov, Andrei.
‡eeditor. |
|---|
| 710 | 2 | . |
‡aSpringerLink (Online service) |
|---|
| 773 | 0 | . |
‡tSpringer eBooks |
|---|
| 776 | 0 | 8. |
‡iPrinted edition:
‡z9783642297083 |
|---|
| 830 | | 0. |
‡aLecture Notes in Computer Science,
‡x0302-9743 ;
‡v7162 |
|---|
| 856 | 4 | 0. |
‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-29709-0
‡yTexto completo
‡9CONS |
|---|
| 950 | | . |
‡aComputer Science (Springer-11645) |
|---|
| 901 | | . |
‡a42090
‡b
‡c42090
‡tbiblio
‡sSystem Local |
|---|
E-book
