Logical foundations of computer science : International symposium, LFCS 2009 : Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: LFCS 2009 Deerfield Beach, Florida) (Autor)
Další autoři: Artemov, S. N. (Editor), Nerode, Anil, 1932- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2009.
Edice:Lecture notes in computer science ; 5407
Témata:
počítačová věda
computer science
sborníky konferencí
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02112nam a22005297a 4500
001 MUB01000573097
003 CZ BrMU
005 20160609144438.0
008 090210s2009 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2018-06-21 
020 |a 978-3-540-92686-3  |z 3540926860 
040 |a BOD018  |b cze 
080 |a 004  |2 MRF 
080 |a (062.534)  |2 MRF 
111 2 |a LFCS 2009  |d (2009 :  |c Deerfield Beach, Florida)  |4 aut 
245 1 0 |a Logical foundations of computer science :  |b International symposium, LFCS 2009 : Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings /  |c edited by Sergei Artemov, Anil Nerode. 
260 |a Berlin :  |b Springer,  |c c2009. 
300 |a xi, 467 s. 
490 1 |a Lecture notes in computer science ;  |v 5407 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
700 1 |a Artemov, S. N.  |7 stk2007428582  |4 edt 
700 1 |a Nerode, Anil,  |d 1932-  |7 kup20010000069809  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 5407 
CAT |a KREKOVA  |b 02  |c 20090210  |l MUB01  |h 1250 
CAT |c 20091203  |l MUB01  |h 0223 
CAT |c 20091203  |l MUB01  |h 1905 
CAT |a KOZOVA  |b 02  |c 20100920  |l MUB01  |h 1251 
CAT |a KOZOVA  |b 02  |c 20101101  |l MUB01  |h 1338 
CAT |a POSPEL  |b 02  |c 20110316  |l MUB01  |h 1200 
CAT |a VARTECKAX  |b 02  |c 20110629  |l MUB01  |h 0758 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0121 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1043 
CAT |c 20150404  |l MUB01  |h 0348 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0003 
CAT |c 20160401  |l MUB01  |h 1236 
CAT |a PTICHAX  |b 02  |c 20160512  |l MUB01  |h 2042 
CAT |a PTICHAX  |b 02  |c 20160609  |l MUB01  |h 1444 
CAT |c 20180621  |l MUB01  |h 1017 
CAT |c 20210614  |l MUB01  |h 0936 
CAT |c 20210614  |l MUB01  |h 1925 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1143 
LOW |a POSLANO DO SKCR  |b 2018-06-21 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K1141.09  |5 4200514986  |8 20090210  |f 74  |f Měsíční  |r 20090210 
AVA |a INF50  |b FI  |d K1141.09  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0 

Podobné jednotky