|
|
|
|
| LEADER |
00000nab a2200000 a 4500 |
| 001 |
vtls000360757 |
| 003 |
SK-MaSNL |
| 005 |
20260318140809.0 |
| 008 |
230217c1987 xo 0 eng |
| 015 |
|
|
|a SNBRB19rr/mm-uuuuu
|
| 035 |
|
|
|a CL0360879
|
| 035 |
|
|
|a urn:nbn:sk:snk-ab1qf0
|
| 035 |
|
|
|a (urnnbn)urn:nbn:sk:snk:ar-004zok
|
| 035 |
|
|
|a (uuid)510007a3-7be0-44bf-9185-3ce0b03b4f46
|
| 040 |
|
|
|a SNKBUCL
|b slo
|c SNKBUCL
|e AACR2
|
| 041 |
0 |
|
|a eng
|
| 044 |
|
|
|a xo
|c SK
|
| 080 |
|
|
|a 519.682:519.711
|2 1981
|
| 080 |
|
|
|a 519.711
|2 1981
|
| 100 |
1 |
|
|a Labella, Anna
|4 aut
|9 1153784
|
| 245 |
1 |
0 |
|a Categorics for modelling communicating processes
|c Anna Labella, Alberto Pettorossi ; Alberto Petorossi
|
| 300 |
|
|
|b Obr. 33. Res. rus., angl., lit. 15 zázn. v angl., franc.
|
| 650 |
0 |
7 |
|a CCS Milner (jazyk programovací)
|2 snkbucl
|9 1153785
|
| 650 |
0 |
7 |
|a CSP Hoare (jazyk programovací)
|2 snkbucl
|9 1153786
|
| 655 |
|
7 |
|a články z novín a časopisov
|2 snkbucl
|9 267496
|
| 700 |
1 |
|
|a Pettorossi, Alberto
|4 aut
|9 1153787
|
| 700 |
1 |
|
|a Petorossi, Alberto
|4 aut
|9 1153788
|
| 773 |
0 |
|
|t Computers and artificial intelligence
|g Roč. 6, č. 4 (1987), s. 279-296
|
| 850 |
|
|
|a Slovenská národná knižnica v Martine
|a MTA001
|
| 852 |
|
|
|a SNK
|b KIS3GCP
|
| 958 |
|
|
|a NB
|
| 958 |
|
|
|a RK
|
| 958 |
|
|
|a OND
|
| 958 |
|
|
|a EUIPO
|
| 958 |
|
|
|a article27
|
| 992 |
|
|
|a RBX
|
| 999 |
|
|
|c 1959986
|d 1961916
|