01494nam2-2200397---450-99000314718020331620080929101348.0978-3-540-72482-7000314718USA01000314718(ALEPH)000314718USA0100031471820080919d2007----km-y0itay50------baengDEa---||||001yyFormal methods for performance evaluation7th international school on formal methods for the design of computer, communication and software systems, SFM 2007Bertinoro, Italy, May 28-June 2, 2007proceedingsMarco Bernardo, Jane Hillston (Eds.)Berlin [etc.]Springercopyr. 2007VI, 467 p.ill.24 cmLecture notes in computer scienceTutorial44862001Lecture notes in computer science0010003149602001Lecture notes in computer scienceSistemi di comunicazione digitaleCongressiBertinoro2007Elaboratori elettroniciCongressiBertinoro2007621.382BERNARDO,MarcoHILLSTON,JaneITsalbcISBD990003147180203316001 LNCS 448635038/CBS00100215156BKSCICBAS1020080919USA011011CBAS1020080929USA011013Formal Methods for Performance Evaluation772734UNISA01374nam--2200409---450-99000217135020331620091123115333.0000217135USA01000217135(ALEPH)000217135USA0100021713520041115d1973----km-y0itay0103----baitaIT||||||||001yyTeoria e pratica della non violenzaMohandas Karamchand Gandhia cura e con un saggio introduttivo di Giuliano Pontaratraduzione di Fabrizio Grillenzoni e Silvia CalamandreiTorinoEinaudi1973CXXXVII, 407 p.18 cmNuova Universale Einaudi1502001Nuova Universale Einaudi1502001001-------2001Non violenzasaggi301.6GANDHI,Mohandas Karamchand161878PONTARA,GiulianoGRILLENZONI,FabrizioITsalbcISBD990002171350203316XXX.B. Coll. 39/ 34 (coll. Z 150)48821 G.XXX.B. Coll. 39/ 34 (coll. Z)00188627BKGIUSIAV11020041115USA011149SIAV11020041115USA011327RSIAV29020091123USA011153Teoria e pratica della non-violenza632410UNISA