Princípy duality medzi konštruovaním a správaním programov /
Uložené v:
| Hlavní autori: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | Slovak |
| Vydané: |
[Košice] :
[Equlibria],
2010.
|
| Vydanie: | [1. vyd.] |
| Témy: | |
| ISBN: |
9788089284580 (viaz.) |
| Fyzický popis: |
152 s. : il., tab. ; 25 cm. |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!
|
Titul je dostupný aj v ... 
| LEADER | 02646cam a2200553 a 4500 | ||
|---|---|---|---|
| 001 | 000371900 | ||
| 005 | 20110912082804.0 | ||
| 008 | 100524s2010 xo al g 000 0 slo d | ||
| FMT | |||
| 020 | |a 9788089284580 (viaz.) | ||
| 040 | |a SVKKK |b slo |c SVKKK |e AACR2 | ||
| 041 | 0 | |a slo | |
| 044 | |a xo |c SK | ||
| 072 | 7 | |a 004 |x Počítačová veda. Výpočtová technika. Informačné technológie |2 konspekt | |
| 072 | 7 | |a 510 |x Všeobecné úvahy o matematike |2 konspekt | |
| 080 | |a 004.41 |2 2001 | ||
| 080 | |a 005.933.1 |2 2001 | ||
| 080 | |a 510.6 |2 2001 | ||
| 080 | |a 007+004 |2 2001 | ||
| 080 | |a 004.312 |2 2001 | ||
| 080 | |a (048.8) |2 2001 | ||
| 100 | 1 | |a Mihályi, Daniel | |
| 245 | 1 | 0 | |a Princípy duality medzi konštruovaním a správaním programov / |c Daniel Mihalyi, Valerie Novitzká. |
| 250 | |a [1. vyd.] | ||
| 260 | |a [Košice] : |b [Equlibria], |c 2010. | ||
| 300 | |a 152 s. : |b il., tab. ; |c 25 cm. | ||
| 500 | |a Slovník | ||
| 500 | |a Zoznam symblov | ||
| 504 | |a Bibliografia: s. 143-152 | ||
| 521 | 4 | |a Publikácia je určená pre širokú komunit. výskumných a pedagog. pracovníkov, ďalej ako študij. mat. pre študentov bakalár., inžinier., doktorandského štúdia a všetkýmh ostatným, ktorí sa venujú otázkam algebier, koalgebier, teórie kategórií typov a zdroj.-orient. modálnych logík | |
| 650 | 0 | 7 | |a softvérové inžinierstvo |2 SVKKKPH |
| 650 | 0 | 7 | |a konštruovanie |2 SVKKKPH |
| 650 | 0 | 7 | |a matematická logika |2 SVKKKPH |
| 650 | 0 | 7 | |a informatika |2 SVKKKPH |
| 650 | 0 | 7 | |a logické systémy |2 SVKKKPH |
| 655 | 7 | |a štúdie |2 SVKKKPH | |
| 700 | 1 | |a Novitzká, Valerie |4 aut | |
| 910 | |a svkkk | ||
| 919 | |a 978-80-89284-58-0 | ||
| 998 | |a BK | ||
| OWN | |||
| SID | |a Z39 |b Z39-JIB |c vtls010098571 | ||
| Z30 | 1 | |l SCK01 |l SCK01 |m BOOK |1 SCKHL |2 SK2 |b Sklad Hlavná 10 prízemie |3 IV.211820 |6 1028244 |q 20110517 |5 2720242596 |8 20110517 |f 70 |s Absenčne |g 000067919 |h SCKHL |z 6.30 |t 20140318 |u 1143 |w 000371900 |x 000010 | |
| Z30 | 1 | |l SCK01 |l SCK01 |m BOOK |1 SCKHL |2 SK2 |b Sklad Hlavná 10 prízemie |3 IV.211821 |6 1028245 |q 20110517 |5 2720242595 |8 20110517 |f 70 |s Absenčne |g 000067919 |h SCKHL |z 6.30 |t 20211102 |u 1412 |w 000371900 |x 000020 | |
| Z30 | 1 | |l SCK01 |l SCK01 |m BOOK |1 SCKHL |2 SK2 |b Sklad Hlavná 10 prízemie |3 IV.211822 |6 1028246 |q 20110517 |5 2720242597 |8 20110517 |f 70 |s Absenčne |g 000067919 |h SCKHL |z 6.30 |t 00000000 |u 0000 |w 000371900 |x 000030 | |
| a02 | 0 | |a 9788089284580 (viaz.) | |
| 090 | |g SCKHL |k Sklad Hlavná 10 prízemie |a IV.211820 |j 1028244 |i 2720242596 |s Absenčne | ||
| 090 | |g SCKHL |k Sklad Hlavná 10 prízemie |a IV.211821 |j 1028245 |i 2720242595 |s Absenčne | ||
| 090 | |g SCKHL |k Sklad Hlavná 10 prízemie |a IV.211822 |j 1028246 |i 2720242597 |s Absenčne | ||