LEADER 04045nam 22007095 450 001 996203274203316 005 20200701142851.0 010 $a3-319-05843-6 024 7 $a10.1007/978-3-319-05843-6 035 $a(CKB)3710000000095027 035 $a(DE-He213)978-3-319-05843-6 035 $a(SSID)ssj0001187501 035 $a(PQKBManifestationID)11695506 035 $a(PQKBTitleCode)TC0001187501 035 $a(PQKBWorkID)11256474 035 $a(PQKB)11623671 035 $a(MiAaPQ)EBC3092970 035 $a(PPN)17782459X 035 $a(EXLCZ)993710000000095027 100 $a20140317d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRequirements Engineering: Foundation for Software Quality$b[electronic resource] $e20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings /$fedited by Camille Salinesi, Inge van de Weerd 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XX, 326 p. 69 illus.) 225 1 $aProgramming and Software Engineering ;$v8396 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-05842-8 330 $aThis book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2013. The 23 papers presented were carefully reviewed and selected from 89 submissions. The REFSQ conference is organised as a three-day symposium with two days devoted to scientific papers presentation with a one-day industry track in-between. Both the industry and scientific presentations concern a variety of topics, which shows the liveliness of the requirements engineering domain. These topics are for instance: scalability in RE, communication issues, compliance with law and regulations, RE for self adaptive systems, requirements traceability, new sources of requirements, domain specific RE, Natural Language issues, and of course games. 'Games for RE and RE for Games' was the special topic of REFSQ 2014. This is materialized by a plenary session at the conference, and by a keynote given by Catherine Rolland, a serious games expert and project manager at KTM Advance, a French company specialized in serious games. 410 0$aProgramming and Software Engineering ;$v8396 606 $aSoftware engineering 606 $aManagement information systems 606 $aComputer science 606 $aApplication software 606 $aComputer logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aSoftware engineering. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aApplication software. 615 0$aComputer logic. 615 14$aSoftware Engineering. 615 24$aManagement of Computing and Information Systems. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aLogics and Meanings of Programs. 676 $a005.1205 702 $aSalinesi$b Camille$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $avan de Weerd$b Inge$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996203274203316 996 $aRequirements Engineering: Foundation for Software Quality$9771998 997 $aUNISA LEADER 01783nam a2200313 a 4500 001 991000572119707536 008 100202s2009 it 000 0 ita d 020 $a9788834897447 035 $ab13877793-39ule_inst 040 $aSet. Economia - SEMS$bita 082 0 $a910.015195 082 $a550.72 100 1 $aPosa, Donato$0460651 245 10$aGeostatistica :$bteoria e applicazioni /$cDonato Posa, Sandra De Iaco 260 $aTorino :$bGiappichelli,$c2009 300 $axii, 244 p. ;$c24 650 4$aTerritorio$xAnalisi$xMetodi statistici 700 1 $aDe Iaco, Sandra $eauthor$4http://id.loc.gov/vocabulary/relators/aut$0425671 907 $a.b13877793$b05-12-11$c02-02-10 912 $a991000572119707536 945 $aLE025 ECO 550.72 POS01.02 $g1$i2025000253537$lle025$op$pE22.00$q-$rn$sc $t1$u3$v0$w3$x0$y.i15073051$z10-02-10 945 $aLE025 ECO 550.72 POS01.02 $g2$i2025000253544$lle025$op$pE22.00$q-$rl$s- $t0$u8$v4$w8$x0$y.i15073063$z10-02-10 945 $aLE025 ECO 550.72 POS01.02$g3$i2025000255555$lle025$nLibro di testo a.a. 2011/2012 Prof.ssa Maggio$o-$pE22.00$q-$rl$s- $t0$u52$v35$w52$x0$y.i15356073$z05-12-11 945 $aLE025 ECO 550.72 POS01.02$g4$i2025000255562$lle025$nLibro di testo a.a. 2011/2012 Prof.ssa Maggio$o-$pE22.00$q-$rl$s- $t0$u57$v30$w57$x0$y.i15356085$z05-12-11 945 $aLE025 ECO 550.72 POS01.02$g5$i2025000255579$lle025$nLibro di testo a.a. 2011/2012 Prof. Anzilli$o-$pE22.00$q-$rl$s- $t0$u58$v28$w58$x0$y.i15356103$z05-12-11 945 $aLE025 ECO 550.72 POS01.02$g6$i2025000255586$lle025$nLibro di testo a.a. 2011/2012 Prof.ssa Maggio$o-$pE22.00$q-$rl$s- $t0$u56$v29$w56$x0$y.i15356115$z05-12-11 996 $aGeostatistica$91440635 997 $aUNISALENTO 998 $ale025$b02-02-10$cm$da $e-$fita$git $h0$i0 LEADER 03878nam 22006615 450 001 9910917193003321 005 20250527192503.0 010 $a9783031774539 010 $a3031774531 024 7 $a10.1007/978-3-031-77453-9 035 $a(MiAaPQ)EBC31815230 035 $a(Au-PeEL)EBL31815230 035 $a(CKB)36822891200041 035 $a(OCoLC)1477221134 035 $a(DE-He213)978-3-031-77453-9 035 $a(EXLCZ)9936822891200041 100 $a20241205d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDerived Category Methods in Commutative Algebra /$fby Lars Winther Christensen, Hans-Bjørn Foxby, Henrik Holm 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (1130 pages) 225 1 $aSpringer Monographs in Mathematics,$x2196-9922 311 08$a9783031774522 311 08$a3031774523 327 $a1 Modules -- 2 Complexes -- 3 Categorical Constructions -- 4 Equivalences and Isomorphisms -- 5 Resolutions -- 6 The Derived Category -- 7 Derived Functors -- 8 Homological Dimensions -- 9 Gorenstein Homological Dimensions -- 10 Dualizing Complexes -- 11 Torsion and Completion -- 12 A Brief for Commutative Ring Theorists -- 13 Derived Torsion and Completion -- 14 Krull Dimension, Depth, and Width -- 15 Support Theories -- 16 Homological Invariants over Local Rings -- 17 Going Local -- 18 Dualities and Cohen-Macaulay Rings -- 19 Gorenstein Dimensions and Gorenstein Rings -- 20 Global Dimension and Regular Rings -- APPENDIX A: Acyclicity and Boundedness -- APPENDIX B: Minimality -- APPENDIX C: Structure of Injective Modules -- APPENDIX D: Projective Dimension of Flat Modules -- APPENDIX E: Triangulated Categories. 330 $aDerived category methods entered commutative algebra in the latter half of the 1960s, providing, among other things, a framework for a clear formulation of Grothendieck?s Local Duality Theorem. Since then, their impact on the field has steadily grown and continues to expand. This book guides readers familiar with rings and modules through the construction of the associated derived category and its triangulated functors. In this context, it develops theories of categorical equivalences for subcategories and homological invariants of objects. The second half of the book focuses on applications to commutative Noetherian rings. The book can be used as a text for graduate courses, both introductory and advanced, and is intended to serve as a reference for researchers in commutative algebra and related fields. To accommodate readers new to homological algebra, it offers a significantly higher level of detail than most existing texts on the subject. 410 0$aSpringer Monographs in Mathematics,$x2196-9922 606 $aAlgebra, Homological 606 $aCommutative algebra 606 $aCommutative rings 606 $aCategory Theory, Homological Algebra 606 $aCommutative Rings and Algebras 606 $aÀlgebra commutativa$2thub 606 $aÀlgebra homològica$2thub 608 $aLlibres electrònics$2thub 615 0$aAlgebra, Homological. 615 0$aCommutative algebra. 615 0$aCommutative rings. 615 14$aCategory Theory, Homological Algebra. 615 24$aCommutative Rings and Algebras. 615 7$aÀlgebra commutativa 615 7$aÀlgebra homològica 676 $a512.6 700 $aChristensen$b Lars Winther$063027 701 $aFoxby$b Hans-Bjø$01779651 701 $aHolm$b Henrik$01779652 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910917193003321 996 $aDerived Category Methods in Commutative Algebra$94303222 997 $aUNINA