LEADER 01483nam 2200421 450 001 000007373 005 20070503173100.0 010 $a2-204-0462-7 100 $a20010212d1992----km-y0itay0103----ba 101 0 $afre 102 $aFR 200 1 $aParabolaire$fGaland De Reigny$gintroduction, texte critique, traduction, notes et index par Colette Friedlander, Jean Leclercq, Gaetano Raciti 200 1 $a1 $n0000981 210 $aParis$c<> edition du cerf$d1992 215 $a470 p.$d19 cm. 225 1 $aSources Chrétiennes$v378 300 $aTesto orig. a fronte 676 $a243$v(20. ed.)$9Scritti di evangelizzazione per i singoli e le famiglie 700 0$aGalandus$c: Regniacensis$0287646 702 1$aFriedlander,$bColette 702 1$aLeclercq,$bJean 702 1$aRaciti,$bGaetano 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000007373 996 $aParabolarium$942897 997 $aUNIBAS BAS $aMONLET BAS $aMONOGR BAS $aLETTERE CAT $aDILEO$b20$c20010212$lBAS01$h1229 CAT $c20050601$lBAS01$h1754 CAT $abatch$b01$c20050718$lBAS01$h1049 CAT $c20050718$lBAS01$h1108 CAT $c20050718$lBAS01$h1138 CAT $c20050718$lBAS01$h1153 CAT $aBATCH$b00$c20070503$lBAS01$h1731 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA1$APolo Storico-Umanistico$2GEN$BCollezione generale$3FP/91827$691827$5L91827$820010212$f02$FPrestabile Generale LEADER 01534nam2-2200409li-450 001 990000208660203316 005 20180312154742.0 010 $a3-540-66010-0 035 $a0020866 035 $aUSA010020866 035 $a(ALEPH)000020866USA01 035 $a0020866 100 $a20001109d1999----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aFormal methods for real-time and probabilistic systems$e5th International AMAST workshop, ARTS '99$eBamberg, Germany, May 26-28, 1999$eproceedings$fJoost-Pieter Katoen (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1999 215 $aX, 353 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v1601 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$abamberg (germany)$a1999 610 1 $aelaborazione in tempo reale$acongressi$a1999 676 $a00433$9Elaborazione in tempo reale 702 1$aKatoen,$bJoost-Pieter 710 12$aInternational AMAST workshop$bARTS '99$d5.$eBamberg$f1999$0747209 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000208660203316 951 $a001 LNCS (1601)$b0023652$c001$d00104246 959 $aBK 969 $aSCI 979 $c19990603 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010208$lUSA01$h1239 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aFormal methods for real-time and probabilistic systems$91492504 997 $aUNISA