01593nam2-2200421li-450 99000020673020331620180312154903.03-540-61042-10020673USA010020673(ALEPH)000020673USA01002067320001109d1996----km-y0itay0103----baengGWTools and algorithms for the construction and analysis of systemssecond International workshop, TACAS'96Passau, Germany, March 27-29, 1996proceedingsTiziana Margaria ...[et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996XI, 434 p.ill.24 cmLecture notes in computer science105500100202642001Lecture notes in computer sciencealgoritmicongressi1996congressipassau1995elaboratori elettroniciprogrammazionecongressi199600512Svuluppo dei programmiMargaria,TizianaInternational Workshop TACAS'962.Passau1996754757Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206730203316001 LNCS (1055)001910000100103844BKSCI1996100620001110USA011714ALANDI9020010201USA01103120020403USA011628PATRY9020040406USA011615Tools and algorithms for the construction and analysis of systems1518963UNISA01318nam^a2200301^a^4500991002527669707536040910s20032003gr aba b 001 0 eng c96021407399602142006b13541079-39ule_instDip.to Beni CulturaliitaGrammenos, Dēmētrios V.625931Ancient Greek colonies in the Black Sea /ed. by D. V. Grammenos, E. K. PetropoulosThessaloniki :Archaeological Institute of Northern Greece,20032 vv. (1431 p.) :ill. ;28 cm.Publications of the Archaeological Institute of Northern Greece ;4Contiene bibliografiaGreciaColonieMar NeroMar NeroAntichitàPetropoulos, Elias K.Dēmosieumata tou Archaiologikou Institoutou Voreias Helladas ;4.b1354107902-04-1411-06-07991002527669707536LE001 SG III 1712001000162550le001pE144.99-l- 00000.i1448409211-06-07LE001 SG III 1812001000162567le001pE145.00-l- 00000.i1448411011-06-07Ancient Greek colonies in the Black Sea1222454UNISALENTOle00111-06-07ma -enggr 00