Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: LFCS 2007 (New York, New York) (Autor)
Další autoři: Artemov, S. N. (Editor), Nerode, Anil, 1932- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007
Edice:Lecture notes in computer science ; 4514
Témata:
LEADER 02316cam a22005777a 4500
001 MUB01000505777
003 CZ BrMU
005 20140401154341.0
008 070611s2007 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2014-04-10 
020 |a 978-3-540-72732-3  |z 3540727329 
040 |a BOD018  |b cze  |d BOD114 
080 |a 004  |2 MRF 
111 2 |a LFCS 2007  |c (New York, New York)  |7 stk2007420968  |4 aut 
245 1 0 |a Logical foundations of computer science :  |b international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings /  |c edited by Sergei N. Artemov, Anil Nerode 
260 |a Berlin :  |b Springer,  |c c2007 
300 |a xi, 511 s. 
490 1 |a Lecture notes in computer science ;  |v 4514 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
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 4514 
CAT |a BISKUPOVA  |b 02  |c 20070611  |l MUB01  |h 1520 
CAT |a BISKUPOVA  |b 02  |c 20070611  |l MUB01  |h 1520 
CAT |a BISKUPOVA  |b 02  |c 20070611  |l MUB01  |h 1521 
CAT |a BISKUPOVA  |b 02  |c 20070611  |l MUB01  |h 1521 
CAT |a BISKUPOVA  |b 02  |c 20070611  |l MUB01  |h 1521 
CAT |a BISKUPOVA  |b 02  |c 20070611  |l MUB01  |h 1526 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0636 
CAT |c 20080429  |l MUB01  |h 1813 
CAT |c 20080429  |l MUB01  |h 1828 
CAT |c 20091203  |l MUB01  |h 0149 
CAT |c 20091203  |l MUB01  |h 1832 
CAT |a KOZOVA  |b 02  |c 20100920  |l MUB01  |h 1218 
CAT |a KOZOVA  |b 02  |c 20101101  |l MUB01  |h 1159 
CAT |a KOZOVAX  |b 02  |c 20101101  |l MUB01  |h 1603 
CAT |a POSPEL  |b 02  |c 20110316  |l MUB01  |h 1200 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0101 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0858 
CAT |a HANAV  |b 02  |c 20140401  |l MUB01  |h 1543 
CAT |c 20140410  |l MUB01  |h 1146 
CAT |c 20150404  |l MUB01  |h 0231 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2242 
CAT |c 20160401  |l MUB01  |h 1235 
CAT |c 20210614  |l MUB01  |h 0924 
CAT |c 20210614  |l MUB01  |h 1913 
LOW |a POSLANO DO SKCR  |b 2014-04-10 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K1141.07  |5 4200513209  |8 20070611  |f 74  |f Měsíční  |r 20070611 
AVA |a INF50  |b FI  |d K1141.07  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0