Matematická teorie programů /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Manna, Zohar, 1939-2018 (Autor)
Další autoři: Hořejš, Jiří, 1933-2001 (Překladatel)
Typ dokumentu: Kniha
Jazyk:Čeština
Vydáno: Praha : SNTL - Nakladatelství technické literatury, 1981
Vydání:1. vyd.
Edice:Knižnice výpočetní techniky
Témata:
On-line přístup:Elektronická verze přístupná pouze pro studenty a pracovníky MU
Příbuzné jednotky:Přeloženo z: Mathematical theory of computation
LEADER 04276nam a22009737a 4500
001 MUB01000364532
003 CZ BrMU
005 20250113234845.0
008 970829s1981 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2010-02-12 
015 |a cnb000136279  |z cnb000880348 
040 |a BOD004  |b cze 
041 1 |a cze  |h eng 
072 7 |a 519.1/.8  |x Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování  |2 Konspekt  |9 13 
080 |a 519.713  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 519  |2 MRF 
080 |a (075.8)  |2 MRF 
100 1 |a Manna, Zohar,  |d 1939-2018  |7 xx0256965  |4 aut 
245 1 0 |a Matematická teorie programů /  |c Zohar Manna ; přeložil Jiří Hořejš 
250 |a 1. vyd. 
260 |a Praha :  |b SNTL - Nakladatelství technické literatury,  |c 1981 
300 |a 467 s. 
490 1 |a Knižnice výpočetní techniky 
504 |a Bibliografie na s. 453-461 
650 0 7 |a programování  |7 ph115891  |2 czenas 
650 0 7 |a teorie automatů  |7 ph126547  |2 czenas 
650 0 9 |a automata theory  |2 eczenas 
650 0 9 |a programming  |2 eczenas 
655 7 |a učebnice vysokých škol  |7 fd133772  |2 czenas 
655 9 |a textbooks (higher)  |2 eczenas 
700 1 |a Hořejš, Jiří,  |d 1933-2001  |7 jk01042321  |4 trl 
765 0 |t Mathematical theory of computation  |9 Česky 
830 0 |a Knižnice výpočetní techniky 
856 4 1 |u http://www.ndk.cz/  |z Elektronická verze přístupná pouze pro studenty a pracovníky MU 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1330 
CAT |c 20050122  |l MUB01  |h 1257 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2153 
CAT |a JANA  |b 02  |c 20060302  |l MUB01  |h 0840 
CAT |a JANA  |b 02  |c 20060302  |l MUB01  |h 0840 
CAT |c 20070427  |l MUB01  |h 2143 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0719 
CAT |a BATCH-UPD  |b 02  |c 20080416  |l MUB01  |h 0611 
CAT |c 20080429  |l MUB01  |h 1810 
CAT |c 20080429  |l MUB01  |h 1824 
CAT |c 20080602  |l MUB01  |h 1122 
CAT |c 20080604  |l MUB01  |h 0957 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0449 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0011 
CAT |c 20091203  |l MUB01  |h 0036 
CAT |c 20091203  |l MUB01  |h 1714 
CAT |a HANAV  |b 02  |c 20091216  |l MUB01  |h 2357 
CAT |a BATCH-UPD  |b 02  |c 20091219  |l MUB01  |h 0647 
CAT |c 20100212  |l MUB01  |h 0854 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1000 
CAT |c 20101015  |l MUB01  |h 2227 
CAT |c 20101016  |l MUB01  |h 0238 
CAT |a SMUTNAX  |b 02  |c 20111129  |l MUB01  |h 1019 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0019 
CAT |c 20120610  |l MUB01  |h 1725 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0328 
CAT |c 20140127  |l MUB01  |h 1749 
CAT |c 20150702  |l MUB01  |h 1053 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0925 
CAT |c 20161008  |l MUB01  |h 2233 
CAT |c 20200226  |l MUB01  |h 2258 
CAT |c 20201021  |l MUB01  |h 2109 
CAT |a BATCH-UPD  |b 00  |c 20210224  |l MUB01  |h 2352 
CAT |c 20210614  |l MUB01  |h 0858 
CAT |c 20210614  |l MUB01  |h 1849 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1047 
CAT |a DRIMLOVAX  |b 02  |c 20250113  |l MUB01  |h 1120 
CAT |a HANAV  |b 02  |c 20250113  |l MUB01  |h 2348 
CAT |c 20250324  |l MUB01  |h 1603 
LOW |a POSLANO DO SKCR  |b 2010-02-12 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R38 - skříň  |5 4200503408  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R38 - skříň  |5 4200503964  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R38  |5 4200500265  |8 20040328  |f 77  |f Dlouhodobá  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R38  |5 4200500267  |8 20040328  |f 77  |f Dlouhodobá  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R38  |5 4200506319  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFST  |b ÚK volný výběr  |3 519.7-MANN  |6 U324-82  |5 3145014274  |8 20041229  |f 70  |f Prezenční  |q 20180727  |r 20060302 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 519.7-MANN  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFST 
AVA |a INF50  |b FI  |c sklad  |d R38  |e available  |t K dispozici  |f 5  |g 1  |h N  |i 0  |j SKLAD