Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25-April 2, 2000 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: Theory and Practice of Software Berlín, Německo) (Autor)
Další autoři: Graf, Susanne (Editor), Schwartzbach, Michael I., 1961- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2000
Edice:Lecture notes in computer science ; 1785
Témata:
algoritmy (programování)
analytické metody
programování
analýza dat
programming
data analysis
analytical methods
computer algorithms
sborníky konferencí
proceedings of conferences
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02953cam a22007217a 4500
001 MUB01000157550
003 CZ BrMU
005 20250519153520.0
008 000719s2000 gw ||||| |||||||||||eng|d
STA |a POSLANO DO SKCR  |b 2009-06-22 
020 |a 3-540-67282-6 
040 |a BOD018  |b cze  |d BOD018 
072 7 |a 004.4/.6  |x Programování. Software  |2 Konspekt  |9 23 
080 |a 004.421  |2 MRF 
080 |a 543.06  |2 MRF 
080 |a (062.534)  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 004.62  |2 MRF 
111 2 |a Theory and Practice of Software  |n (6. :  |d 2000 :  |c Berlín, Německo)  |4 aut 
245 1 0 |a Tools and algorithms for the construction and analysis of systems :  |b 6th International Conference, TACAS 2000, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25-April 2, 2000 : proceedings /  |c edited by Susanne Graf, Michael Schwartzbach 
260 |a Berlin :  |b Springer,  |c c2000 
300 |a xiv, 552 s. 
490 1 |a Lecture notes in computer science ;  |v 1785 
650 0 7 |a algoritmy (programování)  |7 ph131788  |2 czenas 
650 0 7 |a analytické metody  |7 ph174607  |2 czenas 
650 0 7 |a programování  |7 ph115891  |2 czenas 
650 0 7 |a analýza dat  |7 ph301326  |2 czenas 
650 0 9 |a programming  |2 eczenas 
650 0 9 |a data analysis  |2 eczenas 
650 0 9 |a analytical methods  |2 eczenas 
650 0 9 |a computer algorithms  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
655 9 |a proceedings of conferences  |2 eczenas 
700 1 |a Graf, Susanne  |7 xx0021272  |4 edt 
700 1 |a Schwartzbach, Michael I.,  |d 1961-  |7 stk2008429056  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 1785 
CAT |a CONF-FI  |b 02  |c 20040327  |l MUB01  |h 1748 
CAT |a CONV-M04  |b 02  |c 20040919  |l MUB01  |h 1743 
CAT |c 20050122  |l MUB01  |h 1223 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2123 
CAT |c 20070427  |l MUB01  |h 2115 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0634 
CAT |c 20080429  |l MUB01  |h 1804 
CAT |c 20080429  |l MUB01  |h 1819 
CAT |c 20080602  |l MUB01  |h 1117 
CAT |c 20080604  |l MUB01  |h 0952 
CAT |c 20090622  |l MUB01  |h 0750 
CAT |c 20091202  |l MUB01  |h 2156 
CAT |c 20091203  |l MUB01  |h 1433 
CAT |c 20101015  |l MUB01  |h 2115 
CAT |c 20101016  |l MUB01  |h 0131 
CAT |a POSPEL  |b 02  |c 20130108  |l MUB01  |h 1515 
CAT |a BATCH  |b 00  |c 20130301  |l MUB01  |h 1713 
CAT |a VACOVAX  |b 02  |c 20131009  |l MUB01  |h 0913 
CAT |c 20150403  |l MUB01  |h 1952 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0503 
CAT |c 20160401  |l MUB01  |h 1230 
CAT |a VARTECKAX  |b 02  |c 20160620  |l MUB01  |h 0716 
CAT |a VESELAX  |b 02  |c 20250519  |l MUB01  |h 1535 
LOW |a POSLANO DO SKCR  |b 2009-06-22 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 K59.00  |5 4200505925  |8 20040328  |f 74  |f Měsíční  |r 00000001 
AVA |a INF50  |b FI  |c sklad  |d K59.00  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky