| 000 | 01930nam a22004217a 4500 | ||
|---|---|---|---|
| 999 |
_c487358 _d487356 |
||
| 001 | 558681883 | ||
| 003 | DE-601 | ||
| 005 | 20181218105853.0 | ||
| 008 | 181218s2008 nl ||||| |||| 00| 0 eng d | ||
| 035 | _a(OCoLC)254855767 | ||
| 035 | _a(DE-599)GBV558681883 | ||
| 040 |
_bger _cGBVCP |
||
| 041 | 0 | _aeng | |
| 080 | _a002.6 | ||
| 084 |
_amat _2z |
||
| 100 |
_aCollins, Pieter J. _991777 |
||
| 245 | 1 | 0 |
_aSemantics and computability of the evolution of hybrid systems / _cP. J. Collins ; Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands). |
| 264 | 3 | 1 |
_aAmsterdam : _bCWI, _c2008. |
| 300 |
_a29 p. : _bgraph. Darst. |
||
| 490 | 0 |
_aCentrum voor Wiskunde en Informatica : Report ; _vMAS-R0801 |
|
| 504 | _aBibliography: 27-29. | ||
| 653 | _aსამეცნიერო - ტექნიკური ინფორმაცია | ||
| 653 | _aსამეცნიერო - ტექნიკური ინფორმაციის ორგანოები | ||
| 951 |
_aEJDB 030 _bAttainable sets {Systems theory; control: Controllability, observability, and system structure} _240 |
||
| 951 |
_aEJDA 040 _240 |
||
| 951 |
_aEGIQ 170 _bComputational difficulty of problems {Computer science: Theory of computing} _240 |
||
| 951 |
_aEJDB 400 _bComputational methods {Systems theory; control: Controllability, observability, and system structure} _240 |
||
| 951 | _aBO | ||
| 710 |
_991778 _aCentrum voor Wiskunde en Informatica (Amsterdam, Netherlands) |
||
| 830 | 0 |
_aReport / MAS _pReport _pCentrum voor Wiskunde en Informatica _v2008,1 _920080100 |
|
| 900 |
_bSUB+Uni Göttingen <7> _dK 2008 B 5301 |
||
| 900 |
_bUB Rostock <28> _d!28/BB1-MAG! SA 9990 A528 M3-2008,1 _gZB 7050 (2008,1) |
||
| 900 |
_bTIB Hannover <89> _d!Haus2! Z 9(2008,1) |
||
| 942 |
_2udc _cBK |
||