Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporace: TACAS (konference) Braga, Portugalsko) (Autor), ETAPS (konference) (Autor)
Další autoři: Grumberg, Orna, 1952- (Editor), Huth, Michael, 1962- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007.
Edice:Lecture notes in computer science ; 4424
Témata:
algoritmy (programování)
analytické metody
analytical methods
computer algorithms
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02865cam a22006737a 4500
001 MUB01000498210
003 CZ BrMU
005 20230608093151.0
008 070413s2007 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2014-02-27 
020 |a 978-3-540-71208-4  |z 3540712089 
040 |a BOD018  |b cze  |d BOD114 
080 |a 004.421  |2 MRF 
080 |a 543.06  |2 MRF 
111 2 |a TACAS (konference)  |n (13. :  |d 2007 :  |c Braga, Portugalsko)  |7 stk2007407027  |4 aut 
245 1 0 |a Tools and algorithms for the construction and analysis of systems :  |b 13th International Conference, TACAS 2007, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings /  |c edited by Orna Grumberg, Michael Huth. 
260 |a Berlin :  |b Springer,  |c c2007. 
300 |a xx, 738 s. 
490 1 |a Lecture notes in computer science ;  |v 4424 
650 0 7 |a algoritmy (programování)  |7 ph131788  |2 czenas 
650 0 7 |a analytické metody  |7 ph174607  |2 czenas 
650 0 9 |a analytical methods  |2 eczenas 
650 0 9 |a computer algorithms  |2 eczenas 
700 1 |a Grumberg, Orna,  |d 1952-  |7 stk2007394009  |4 edt 
700 1 |a Huth, Michael,  |d 1962-  |7 stk2007394010  |4 edt 
711 2 |a ETAPS (konference)  |n (10. :  |d 2007 :  |c Braga, Portugalsko)  |7 stk2007407028  |4 aut 
830 0 |a Lecture notes in computer science ;  |v 4424 
CAT |a BISKUPOVA  |b 02  |c 20070413  |l MUB01  |h 1125 
CAT |a BISKUPOVA  |b 02  |c 20070413  |l MUB01  |h 1132 
CAT |c 20070427  |l MUB01  |h 2203 
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 1827 
CAT |c 20091203  |l MUB01  |h 0145 
CAT |c 20091203  |l MUB01  |h 1828 
CAT |c 20101015  |l MUB01  |h 2302 
CAT |c 20101016  |l MUB01  |h 0328 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0058 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0845 
CAT |a SMUTNAX  |b 02  |c 20130611  |l MUB01  |h 1138 
CAT |c 20140127  |l MUB01  |h 1829 
CAT |a HANAV  |b 02  |c 20140218  |l MUB01  |h 1641 
CAT |c 20140227  |l MUB01  |h 1030 
CAT |c 20150404  |l MUB01  |h 0221 
CAT |c 20150703  |l MUB01  |h 1010 
CAT |a BATCH-UPD  |b 00  |c 20151102  |l MUB01  |h 2354 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2232 
CAT |c 20160401  |l MUB01  |h 1234 
CAT |a BATCH-UPD  |b 00  |c 20160429  |l MUB01  |h 2352 
CAT |c 20210614  |l MUB01  |h 0923 
CAT |c 20210614  |l MUB01  |h 1911 
CAT |a BATCH-UPD  |b 00  |c 20210716  |l MUB01  |h 2351 
CAT |a REPISOVA  |b 02  |c 20211111  |l MUB01  |h 1518 
CAT |c 20220114  |l MUB01  |h 1646 
CAT |a VARTECKAX  |b 02  |c 20230608  |l MUB01  |h 0931 
LOW |a POSLANO DO SKCR  |b 2014-02-27 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 K59.07  |5 4200512960  |8 20070413  |f 74  |f Měsíční  |r 20070413 
AVA |a INF50  |b FI  |c sklad  |d K59.07  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky