LEADER 01366nam--2200361---450 001 990001114530203316 005 20180312154621.0 010 $a3-540-43913-7 035 $a000111453 035 $aUSA01000111453 035 $a(ALEPH)000111453USA01 035 $a000111453 100 $a20021211d2002----km-y0ITAy0103-------ba 101 0 $aENG 102 $aDE 200 1 $aProcess algebra and probabilistic methods$eperformance modelling and verification$eSecond joint International workshop, PAPM-PROBMIV 2002$eCopenhagen, Denmark, July 25-26, 2002$eproceedings$fHolger Hermanns... (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002 215 $aX, 215 p.$cill.$d20 cm 225 $aLecture notes in computer science$v2399 410 $12001$aLecture notes in computer science$v2399 610 $aTeorie delle macchine$acongressi$a2002 676 $a511.3 21 702 1$aHermanns,$bHolger 710 12$aJoint International workshop PAPM-PROBMIV 2002 <2. ; 2002 ; Copenhagen, Denmark>$0554498 801 0$aITA$bCBS$gISBD 912 $a990001114530203316 951 $a001 LNCS (2399)$b0027056 CBS$c001$d00112062 959 $aBK 969 $aSCI 979 $aDIGIUSEPPE$b90$c20021211$lUSA01$h1232 979 $aPATRY$b90$c20040406$lUSA01$h1717 996 $aProcess algebra and probabilistic methods$9981445 997 $aUNISA LEADER 01073nam a2200253 i 4500 001 991001935879707536 005 20020508183928.0 008 970617s1987 ||| ||| | ||| 035 $ab10934893-39ule_inst 035 $aPARLA151502$9ExL 040 $aDip.to Scienze Storiche Fil. e Geogr.$bita 100 1 $aGlennon, John P.$0525582 245 10$aAmerican republics :$bmultilateral ; Mexico ; Caribbean /$cEditor in chief John P. Glennon ; editors N. Steephen Kane ... [et al.] 260 $aWashington :$bGovernment printing office,$c1987 300 $a997 p. ;$c24 cm 490 0 $aForeign relations of the United States, 1955-1957 ;$v6 650 4$aStati Uniti d'America$xPolitica estera$y1955-1957 700 1 $aKane, Steephen N. 907 $a.b10934893$b23-02-17$c28-06-02 912 $a991001935879707536 945 $aLE009 Enc. Amer.3/6 Sala Fonti e documenti$g1$iLE009-4345$lle009$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i11040932$z28-06-02 996 $aAmerican republics$9919816 997 $aUNISALENTO 998 $ale009$b01-01-97$cm$da $e-$feng$gxx $h0$i1