| 000 | 01805nam0a2200337 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\853616 | ||
| 005 | 20260408195647.0 | ||
| 021 |
_aRU _b2005-27802 _91398 |
||
| 035 | _a(NLR Aleph) 000842350 | ||
| 090 |
_a1428431 _c1428431 |
||
| 100 | _a20051013d2004 u y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aТеоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях _dThe category theoretical characterization of different equivalences for timed automata models _fН.С. Грибовская _zeng |
|
| 210 |
_aНовосибирск _cПрайс-курьер _d2004 |
||
| 215 |
_a38 с. _cил. _d21 |
||
| 225 | 1 |
_aПрепринт _fРос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова _v119 |
|
| 300 | _aАвт. также на англ. яз.: N.S. Gribovskaja | ||
| 320 | _aБиблиогр.: с.37-38 (13 назв.) | ||
| 510 | 0 |
_aThe category theoretical characterization of different equivalences for timed automata models _zeng |
|
| 606 | 1 |
_aПараллельные вычислительные системы _xТеория _92286037 _3RU\NLR\auth\661369358 |
|
| 606 |
_aПараллельное программирование (компьют.) _xМатематические основы _3RU\NLR\auth\661402890 _92347808 |
||
| 686 | _aЗ973.202-01 | ||
| 700 | 1 |
_aГрибовская _bН. С. _gНаталия Сергеевна _4070 |
|
| 790 | 1 |
_aGribovskaja _bN. S. _gNatalija Sergeevna _4070 |
|
| 801 | 0 |
_aRU _bNLR _c20051013 _grcr |
|
| 801 | 1 |
_aRU _bNLR _c20051013 |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||