01521nam2 2200397 450 99000340785020331620100607170339.0978-3-642-10372-8000340785USA01000340785(ALEPH)000340785USA0100034078520100604d2009----km-y0itay0103----baengDEa|||||||101yyFormal methods and software engineering11th international conference on formal engineering methods, ICFEM 2009Rio de Janeiro, brazil, december 9-12, 2009proceedingsKarin Breitman, Ana Cavalcanti (Eds.)Berlin [etc.]Springercopyr. 2009XIV, 758 p.ill.24 cmLecture notes in computer science58850010003149602001Lecture notes in computer scienceElaboratoriProgrammazioneAtti di congressiBNCFProgrammi per elaboratoriProgettazioneAtti di congressiBNCF004.01BREITMAN,KarinCAVALCANTI,AnaInternational conference on formal engineering methods, ICFEM 2009<11.;2009;Rio de Janeiro>607811ITAsalbcISBD990003407850203316001 LNCS/588539036/CBS00100335489BKSCIANGELA9020100604USA011218ANGELA9020100607USA011703Formal methods and software engineering1126149UNISA01484nam2-2200409---450-99000316164020331620081017101736.0978-3-540-79813-2000316164USA01000316164(ALEPH)000316164USA0100031616420081017d2008----km-y0itay50------baengDEy---||||001yyEnumerative invariants in algebraic geometry and string theorylectures given at the C.I.M.E. Summer Schoolheld in Cetraro, Italy, June 6-11, 2005Dan Abramovich ... [et al.]editors: Kai Behrend and Marco ManettiBerlin [etc.]Springercopyr. 2008X, 201 p.24 cmLecture notes in mathematics19472001Lecture notes in mathematics0010003152902001Lecture notes in mathematicsGeometria algebricaCongressiCetraro2005BNCFTeoria delle stringheCongressiCetraro2005516.35ABRAMOVICH,Dan472525BEHREND,KaiMANETTI,Marco<C.I.M.E. Summer School2005;Cetraro>ITsalbcISBD990003161640203316510 LNM 194737443/CBS51000217642BKSCICBAS1020081017USA011017Enumerative invariants in algebraic geometry and string theory230616UNISA