LEADER 01097nam a22002651i 4500 001 991004026009707536 005 20031001082521.0 008 031111s1993 gw a||||||||||||||||ger 020 $a3525203349 035 $ab12508561-39ule_inst 035 $aARCHE-054183$9ExL 040 $aDip.to Lingue$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a801.959 245 00$aProbleme der Edition althochdeutscher Texte /$cherausgegeben von Rolf Bergmann 260 $aGottingen :$bVandenhoeck & Ruprecht,$c1993 300 $a175 p. :$bill. ;$c24 cm 440 0$aStudien zum Althochdeutschen ;$v19 650 4$aLetteratura tedesca$xMedioevo$xCritica del testo 700 1 $aBergmann, Rolf$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0156381 907 $a.b12508561$b02-04-14$c13-11-03 912 $a991004026009707536 945 $aLE012 801.959 BER$g1$i2012000121355$lle012$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12946266$z13-11-03 996 $aProbleme der Edition althochdeutscher Texte$91459686 997 $aUNISALENTO 998 $ale012$b13-11-03$cm$da $e-$fger$ggw $h0$i1 LEADER 03490nam 2200625 a 450 001 9910139141603321 005 20200520144314.0 010 $a9783642050947 010 $a3642050948 024 7 $a10.1007/978-3-642-05094-7 035 $a(CKB)2560000000009144 035 $a(SSID)ssj0000399650 035 $a(PQKBManifestationID)11243883 035 $a(PQKBTitleCode)TC0000399650 035 $a(PQKBWorkID)10386130 035 $a(PQKB)10814679 035 $a(DE-He213)978-3-642-05094-7 035 $a(MiAaPQ)EBC3065222 035 $a(PPN)149080883 035 $a(EXLCZ)992560000000009144 100 $a20091118d2009 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntroduction to the functional renormalization group /$fP. Kopietz, L. Bartosch, F. Schutz 205 $a1st ed. 2010. 210 $aNew York $cSpringer$d2009 215 $a1 online resource (XII, 380 p. 68 illus.) 225 1 $aLecture notes in physics,$x0075-8450 ;$v798 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9783642263255 311 08$a3642263259 311 08$a9783642050930 311 08$a364205093X 320 $aIncludes bibliographical references and index. 327 $apt. 1. Foundations of the renormalization group -- pt. 2. Introduction to the functional renormalization group -- pt. 3. Functional renormalization group approach to fermions. 330 $aThis book, based on a graduate course given by the authors, is a pedagogic and self-contained introduction to the renormalization group with special emphasis on the functional renormalization group. The functional renormalization group is a modern formulation of the Wilsonian renormalization group in terms of formally exact functional differential equations for generating functionals. In Part I the reader is introduced to the basic concepts of the renormalization group idea, requiring only basic knowledge of equilibrium statistical mechanics. More advanced methods, such as diagrammatic perturbation theory, are introduced step by step. Part II then gives a self-contained introduction to the functional renormalization group. After a careful definition of various types of generating functionals, the renormalization group flow equations for these functionals are derived. This procedure is shown to encompass the traditional method of the mode elimination steps of the Wilsonian renormalization group procedure. Then, approximate solutions of these flow equations using expansions in powers of irreducible vertices or in powers of derivatives are given. Finally, in Part III the exact hierarchy of functional renormalization group flow equations for the irreducible vertices is used to study various aspects of non-relativistic fermions, including the so-called BCS-BEC crossover, thereby making the link to contemporary research topics. 410 0$aLecture notes in physics ;$v798. 606 $aRenormalization group 606 $aIntegration, Functional 615 0$aRenormalization group. 615 0$aIntegration, Functional. 676 $a515/.7 700 $aKopietz$b Peter$f1961-$061187 701 $aBartosch$b L$0515322 701 $aSchutz$b F$0356256 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910139141603321 996 $aIntroduction to the functional renormalization group$94196916 997 $aUNINA LEADER 01659nam 2200385z- 450 001 9910346774503321 005 20210212 010 $a1000051517 035 $a(CKB)4920000000100778 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/62570 035 $a(oapen)doab62570 035 $a(EXLCZ)994920000000100778 100 $a20202102d2018 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aWeighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment 210 $cKIT Scientific Publishing$d2018 215 $a1 online resource (XIII, 162 p. p.) 225 1 $aThe Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner 311 08$a3-7315-0472-3 330 $aThis work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment. 610 $aSoftware Development 610 $aSoftware Reliability 610 $aSoftware-Entwicklung 610 $aStatistical Testing 610 $aStatistisches Testen 610 $aZuverla?ssigkeit 700 $aOmri$b Fouad ben Nasr$4auth$01312920 906 $aBOOK 912 $a9910346774503321 996 $aWeighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment$93031122 997 $aUNINA