00982nam0 2200253 4500991015925050332120170201094957.020170201d1993---- km y0itay50 baitaFRa 001yy<<La >>conoscenza del mondo vegetale prima e dopo Andrea CesalpinoGuido MoggiParispresses Universitaires de Vincennes1993p. 123-140ill.23 cmEstr. da: Le monde végétal (XII-XVII siecles), savoir et usages sociaux. Tit. ital. del convegno: Il mondo delle piante, cultura, rappresentazioni ed usi sociali dal 12. al 17. secolo, Firenze, 3-5 maggio 1989BotanicaStoriaMoggi,Guido<1927- >740277ITUNINARICAUNIMARCBK9910159250503321Misc.M-0219NBGILFGEILFGEConoscenza del mondo vegetale prima e dopo Andrea Cesalpino1470877UNINA01347nam2-2200397li-450 99000020379020331620180312154840.03-540-56283-40020379USA010020379(ALEPH)000020379USA01002037920001109d1992----km-y0itay0103----baengGWSpecifying message passing and time-critical systems with temporal logicRon KoymansBerlin [etc.]Springer-Verlagcopyr. 1992164 p.ill.24 cmLecture notes in computer science65100100202642001Lecture notes in computer scienceelaborazione distribuitaelaborazione in tempo reale00436Elaborazione distribuitaKoymans,Ron754262Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000203790203316001 LNCS (651)001506500100102903BKSCI1994120120001110USA011714ALANDI9020010129USA01111520020403USA011628PATRY9020040406USA011615Specifying message passing and time-critical systems with temporal logic1517637UNISA01069nam0 22002891i 450 UON0008223120231205102432.84420020107d1927 |0itac50 bafreFR|||| |||||ˆLes ‰nègrespar Maurice DelafosseParisRiederc192779 p., c. di tav.ill.22 cmdata inesattaIT-UONSI B Afr4/0827001UON000677292001 Bibliothèque générale illustrée4Africa occidentalePopoliUONC019219FIFRParisUONL002984305.896Popoli africani21DELAFOSSEMauriceUONV046293130623RiederUONV249399650ITSOL20250523RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00082231SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI 4 0827 SI MR 2805 5 0827 data inesattaNègres1297033UNIOR