|
|
|
|
| LEADER |
01460nam a22003497a 4500 |
| 001 |
MUB01000870624 |
| 003 |
CZ BrMU |
| 005 |
20141016074614.0 |
| 008 |
130903s2011 xr ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2020-10-19
|
| 040 |
|
|
|a BOD004
|b cze
|
| 072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004
|2 MRF
|
| 100 |
1 |
|
|a Surynek, Pavel
|4 aut
|
| 245 |
1 |
0 |
|a Pre-processing in Boolean satisfiability using bounded (2,k) :
|b consistency on regions with locally difficult constraint setup /
|c Pavel Surynek
|
| 260 |
|
|
|a Praha :
|b Institut teoretické informatiky,
|c 2011
|
| 300 |
|
|
|a 40 s.
|
| 490 |
1 |
|
|a ITI Series ;
|v 2011-537
|
| 504 |
|
|
|a Obsahuje bibliografii (s. 37-40)
|
| 650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 830 |
|
0 |
|a ITI Series ;
|v 2011-537
|
| CAT |
|
|
|a KRIZOVA
|b 02
|c 20130903
|l MUB01
|h 0900
|
| CAT |
|
|
|a JANA
|b 02
|c 20141016
|l MUB01
|h 0746
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151226
|l MUB01
|h 0416
|
| CAT |
|
|
|c 20201019
|l MUB01
|h 1726
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1005
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1954
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2020-10-19
|
| 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-SURY
|5 3145358971
|8 20130903
|f 74
|f Měsíční
|q 20180727
|r 20130903
|s dar
|
| AVA |
|
|
|a SCI50
|b PRIF
|c ÚK volný výběr
|d 519.7-SURY
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|j PRFST
|
