| 000 | 00951nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | 000030060 | ||
| 003 | RuMoIPM | ||
| 005 | 20260323174738.0 | ||
| 008 | 260323s2010 de ||||| |||| 00| 0 eng d | ||
| 017 | _a3-642-11485-7 | ||
| 020 | _a978-3-642-11485-4 | ||
| 040 |
_aRuMoIPM _brus _ercr |
||
| 041 | _aeng | ||
| 044 | _agw | ||
| 080 | _a004(063) | ||
| 080 | _a519.7(063) | ||
| 245 | 1 | 0 |
_aPerspectives of Systems Informatics _b7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : Revised Papers _cEd.: Amir Pnueli, Irina Virbitskaite, Andrei Voronkov |
| 260 |
_aВеrlin, Heidelberg _bSpringer _c2010 |
||
| 300 | _aXIII, 426 p. | ||
| 490 | 0 | _aTheoretical Computer Science and General Issues | |
| 490 | 0 |
_aLecture Notes in Computer Science _v5947 _x0302-9743 |
|
| 700 | 1 |
_aPnueli, Amir _eред. |
|
| 700 | 1 |
_aVirbitskaite, Irina _eред. |
|
| 700 | 1 |
_aVoronkov, Andrei _eред. |
|
| 942 | _cPC | ||
| 999 |
_c30060 _d30060 |
||