01006nam0-22003491i-450-9900014954804033210-8247-0741-9000149548FED01000149548(Aleph)000149548FED0100014954820020716d2002----km-y0itay50------baengDEa---a---101yyLocal cohomology and ites applicationsEdited by G. LyubeznikNew YorkMarcel Dekkerc2002v, 342 p.24 cmLecture notes in pure and applied mathematics226ComologiaCongressiAnelli commutativi ed algebre commutativeCongressi514.2321Lyubeznik,GennadyITUNINARICAUNIMARCBK990001495480403321C-7-(22618744MA1MA113-0600B25Local cohomology and ites applications377601UNINA01170nam a2200325 i 450099100067596970753620020507172128.0941010s1994 it ||| | ita 8838606595b10741689-39ule_instLE01300557ExLDip.to Matematicaeng515.7AMS 26-01AMS 44-01AMS 46-01Gilardi, Gianni21081Analisi tre /Gianni GilardiMilano :McGraw-Hill,1994xiii, 621 p. ;24 cmCollana di istruzione scientifica. Serie di matematica [McGraw-Hill]Mathematical analysisReal functionsTextbooks.b1074168923-02-1728-06-02991000675969707536LE013 26-XX GIL13 C.1 (1994)12013000015477le013-E0.00-l- 0721720.i1083298128-06-02LE013 26-XX GIL13 C.2 (1994)22013000290614le013-E0.00-lo 1610610.i1083299328-06-02Analisi tre77948UNISALENTOle01301-01-94ma -itait 0201607nam a2200361 i 450099100104800970753620020507105653.0930409s1986 us ||| | eng 020115790X40900b1016618x-39ule_instLE00641254ExLDip.to Fisicaita621.3.8686.2'2544Z253.4.L38L35Lamport, Leslie26752Latex :a document preparation system /Leslie Lamport ; illustrations by Duane Bibby1st ed., 13th printingReading :Addison-Wesley Publ. Co.,c1986xiv, 242 p. :ill. ;23 cm.Includes index.Computerized typesettingBibby, Duane.b1016618x21-09-0627-06-02991001048009707536LE006 621.3.8 LAM12006000072991le006-E0.00-l- 00000.i1020261427-06-02LE006 621.3.8 LAM22006000073004le006-E0.00-l- 06860.i1020262627-06-02LE006 621.3.8 LAM32006000073011le006-E0.00-l- 00000.i1020263827-06-02LE006 621.3.8 LAM42006000073028le006Smarrito dall'utente Giulio Soliani e risarcito con donazione compensatorianE0.00-l$ 00000.i1020264x27-06-02LE006 621.3.8 LAM52006000187947le006pE0.00-l- 00000.i1020265127-06-02LATEX47435UNISALENTOle00601-01-93ma -engus 0501493oam 2200481zu 450 991013082660332120241212220409.097814673131311467313130(CKB)3420000000000607(SSID)ssj0000781150(PQKBManifestationID)12367094(PQKBTitleCode)TC0000781150(PQKBWorkID)10804026(PQKB)11331891(Non_Seri)133628(NjHacI)993420000000000607(Association for Computing Machinery)10.5555/3041409(EXLCZ)99342000000000060720160829d2012 uy engur|||||||||||txtrdacontentcrdamediacrrdacarrier2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign[Place of publication not identified]IEEE20121 online resourceACM ConferencesBibliographic Level Mode of Issuance: Monograph9781467313148 1467313149 ACM ConferencesMEMOCODE '12Formal methods (Computer science)Formal methods (Computer science)004.0151Institute of Electrical and Electronics Engineers,PQKBPROCEEDING99101308266033212012 10th IEEE1943014UNINA