Automata logics, and infinite games : a guide to current research /

Uloženo v:
Podrobná bibliografie
Další autoři: Grädel, Erich, 1958- (Editor), Thomas, Wolfgang, 1947- (Editor), Wilke, Thomas, 1965- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2002.
Edice:Lecture notes in computer science ; 2500
Témata:
LEADER 02727cam a22006017a 4500
001 MUB01000343150
003 CZ BrMU
005 20110922141737.0
008 040126s2002 gw ||||| |||||||||||eng|d
STA |a POSLANO DO SKCR  |b 2010-01-21 
020 |a 3-540-00388-6 
040 |a BOD004  |b cze  |d BOD018  |d BOD114 
080 |a 51  |% PriF 
245 0 0 |a Automata logics, and infinite games :  |b a guide to current research /  |c Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.). 
260 |a Berlin :  |b Springer,  |c c2002. 
300 |a viii, 385 s. 
490 1 |a Lecture notes in computer science ;  |v 2500 
655 7 |a sborníky  |7 fd163935  |2 czenas 
700 1 |a Grädel, Erich,  |d 1958-  |7 xx0007242  |4 edt 
700 1 |a Thomas, Wolfgang,  |d 1947-  |7 xx0007692  |4 edt 
700 1 |a Wilke, Thomas,  |d 1965-  |7 xx0007698  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 2500 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1334 
CAT |c 20050122  |l MUB01  |h 1253 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2150 
CAT |c 20070427  |l MUB01  |h 2140 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0711 
CAT |c 20080429  |l MUB01  |h 1809 
CAT |c 20080429  |l MUB01  |h 1824 
CAT |c 20080602  |l MUB01  |h 1121 
CAT |c 20080604  |l MUB01  |h 0957 
CAT |c 20091203  |l MUB01  |h 0024 
CAT |c 20091203  |l MUB01  |h 1658 
CAT |c 20100121  |l MUB01  |h 1041 
CAT |c 20101015  |l MUB01  |h 2222 
CAT |c 20101016  |l MUB01  |h 0228 
CAT |c 20110627  |l MUB01  |h 1627 
CAT |a HANAV  |b 02  |c 20110922  |l MUB01  |h 1417 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0011 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0242 
CAT |c 20150403  |l MUB01  |h 2230 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0901 
CAT |c 20240111  |l MUB01  |h 1555 
LOW |a POSLANO DO SKCR  |b 2010-01-21 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R440 - skříň  |5 4200508420  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R440 - skříň  |5 4200508531  |8 20040328  |f 74  |f Měsíční  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R440 - skříň  |5 4200508532  |8 20040328  |f 77  |f Dlouhodobá  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R440  |5 4200508533  |8 20040328  |f 77  |f Dlouhodobá  |r 00000001 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R440  |5 4200508534  |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 515.94  |5 3145319647  |8 20041229  |f 77  |f Dlouhodobá  |q 20190625  |r 00000001 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 515.94  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 1  |j PRFST 
AVA |a INF50  |b FI  |d R440  |e available  |t K dispozici  |f 5  |g 1  |h N  |i 3