Parallel and distributed methods in verification : 5th international workshop, PDMC´06, Bonn, Germany, August 31, 2006 : preliminary proceedings : affiliated to CONCUR 2006 /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International workshop PDMC Bonn, Německo) (Autor)
Další autoři: Haverkort, Boudewijn (Editor), Pol, Jaco van de, 1969- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: [Bonn] : [s.n.], 2006
Témata:
paralelní programování
parallel programming
sborníky konferencí
proceedings of conferences
Obálka
LEADER 02014nam a22004817a 4500
001 MUB01000615273
003 CZ BrMU
005 20190110102126.0
008 100208s2006 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-05-06 
040 |a BOD018  |b cze 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004.42.032.24  |2 MRF 
080 |a (062.534)  |2 MRF 
111 2 |a International workshop PDMC  |n (5. :  |d 2006 :  |c Bonn, Německo)  |4 aut 
245 1 0 |a Parallel and distributed methods in verification :  |b 5th international workshop, PDMC´06, Bonn, Germany, August 31, 2006 : preliminary proceedings : affiliated to CONCUR 2006 /  |c editors Boudewijn Haverkort, Jaco van de Pol 
246 1 3 |a PDMC´06 
260 |a [Bonn] :  |b [s.n.],  |c 2006 
300 |a vi, 94 s. :  |b il. 
500 |a Affiliated to CONCUR 2006. 
650 0 7 |a paralelní programování  |7 ph115669  |2 czenas 
650 0 9 |a parallel programming  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
655 9 |a proceedings of conferences  |2 eczenas 
700 1 |a Haverkort, Boudewijn  |4 edt 
700 1 |a Pol, Jaco van de,  |d 1969-  |7 xx0041595  |4 edt 
CAT |a KOZOVA  |b 02  |c 20100208  |l MUB01  |h 1603 
CAT |a KOZOVA  |b 02  |c 20100208  |l MUB01  |h 1611 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0135 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1026 
CAT |a HONIGOVAX  |b 02  |c 20130830  |l MUB01  |h 1512 
CAT |c 20150703  |l MUB01  |h 1119 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0051 
CAT |c 20160401  |l MUB01  |h 1236 
CAT |a VESELA  |b 02  |c 20190110  |l MUB01  |h 1021 
CAT |c 20190506  |l MUB01  |h 1000 
CAT |c 20210614  |l MUB01  |h 0944 
CAT |c 20210614  |l MUB01  |h 1934 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1154 
LOW |a POSLANO DO SKCR  |b 2019-05-06 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K77.06w  |5 4200515763  |8 20100208  |f 74  |f Měsíční  |r 20100208  |s dar 
AVA |a INF50  |b FI  |d K77.06w  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0 

Podobné jednotky