Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: Conference on Computability in Europe Athény, Řecko) (Autor)
Další autoři: Beckmann, Arnold (Editor), Dimitracopoulos, Costas, 1953- (Editor), Löwe, Benedikt (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2008
Edice:Lecture notes in computer science ; 5028
Témata:
logika
programování
logic
programming
sborníky konferencí
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02295nam a22005777a 4500
001 MUB01000553565
003 CZ BrMU
005 20220506115325.0
008 080624s2008 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-06-28 
020 |a 978-3-540-69405-2  |z 3540694056 
040 |a BOD018  |b cze 
080 |a 004.42  |2 MRF 
080 |a 16  |2 MRF 
080 |a (062.534)  |2 MRF 
111 2 |a Conference on Computability in Europe  |n (4. :  |d 2008 :  |c Athény, Řecko)  |7 mub20191035516  |4 aut 
245 1 0 |a Logic and theory of algorithms :  |b 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /  |c edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe 
260 |a Berlin :  |b Springer,  |c c2008 
300 |a xix, 596 s. 
490 1 |a Lecture notes in computer science ;  |v 5028 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a programování  |7 ph115891  |2 czenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a programming  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
700 1 |a Beckmann, Arnold  |7 xx0054695  |4 edt 
700 1 |a Dimitracopoulos, Costas,  |d 1953-  |7 ntk20221149751  |4 edt 
700 1 |a Löwe, Benedikt  |7 xx0035639  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 5028 
CAT |a KREKOVA  |b 02  |c 20080624  |l MUB01  |h 1005 
CAT |c 20091203  |l MUB01  |h 0213 
CAT |c 20091203  |l MUB01  |h 1855 
CAT |c 20101015  |l MUB01  |h 2320 
CAT |c 20101016  |l MUB01  |h 0346 
CAT |a PUTNOVAX  |b 02  |c 20110519  |l MUB01  |h 1215 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0115 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1012 
CAT |c 20150404  |l MUB01  |h 0322 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2336 
CAT |c 20160401  |l MUB01  |h 1235 
CAT |a VARTECKAX  |b 02  |c 20161006  |l MUB01  |h 0759 
CAT |c 20170628  |l MUB01  |h 1109 
CAT |a VASICEKX  |b 02  |c 20190510  |l MUB01  |h 1050 
CAT |c 20210614  |l MUB01  |h 0932 
CAT |c 20210614  |l MUB01  |h 1921 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1137 
CAT |a VACOVAX  |b 02  |c 20220506  |l MUB01  |h 1153 
LOW |a POSLANO DO SKCR  |b 2017-06-28 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K903.08  |5 4200514289  |8 20080624  |f 74  |f Měsíční  |r 20080624 
AVA |a INF50  |b FI  |d K903.08  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1 

Podobné jednotky