LEADER 03842nam 2200649 450 001 9910479862703321 005 20180731045125.0 010 $a0-8218-7626-0 010 $a0-8218-5042-3 035 $a(CKB)3240000000069566 035 $a(EBL)3113010 035 $a(SSID)ssj0000712574 035 $a(PQKBManifestationID)11448395 035 $a(PQKBTitleCode)TC0000712574 035 $a(PQKBWorkID)10644703 035 $a(PQKB)10271002 035 $a(MiAaPQ)EBC3113010 035 $a(WaSeSS)Ind00039469 035 $a(PPN)197103588 035 $a(EXLCZ)993240000000069566 100 $a19850314h19851985 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aParticle systems, random media, and large deviations /$fRichard Durrett, editor 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[1985] 210 4$d©1985 215 $a1 online resource (394 p.) 225 1 $aContemporary mathematics,$x0271-4232 ;$vvolume 41 300 $a"Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Mathematics of Phase Transitions, held at Bowdoin College, June 24-30, 1984"--Title page verso. 320 $aIncludes bibliographies. 327 $a""Table of Contents""; ""Introduction""; ""Inequalities for critical probabilities in percolation""; ""Random tubes as a model of pair correlations""; ""Large deviations for some infinite particle system occupation times""; ""Function-valued duals for measure-valued processes and applications""; ""Invariance principle for reversible Markov processes with application to diffusion in the percolation regime""; ""Stochastic growth models: Ten problems for the 80's (and 90's)""; ""Large deviations and statistical mechanics""; ""Nonergodic one-dimensional media and reliable computation"" 327 $a""Disordered Ising ferromagnets and percolation""""The critical behavior of a class of simple interacting systems -- a few answers and a lot of questions""; ""Phase transition for a class of Markov processes on (N)S""; ""Large deviations in subadditive processes and first-passage percolation""; ""1. Introduction""; ""2. Probability and Operations Research""; ""3. Subadditive Processes""; ""4. First-Passage Percolation""; ""5. Random Electrical Networks""; ""Reference""; ""Random media and selfdiffusion of interacting particles"" 327 $a""Infinite chains and clusters in one dimensional directed and undirected percolation""""On the Shannon-Perez-Moy Theorem""; ""Hydrodynamics of a one-dimensional nearest neighbor model""; ""Decay rates of Green's functions for the Schrodinger operator""; ""Diffusions with random coefficients""; ""Disjoint occurrences of events: Results and conjectures""; ""Duality for directed site percolation"" 410 0$aContemporary mathematics (American Mathematical Society) ;$vv. 41. 606 $aStochastic processes$vCongresses 606 $aDynamics of a particle$vCongresses 606 $aPhase transformations (Statistical physics)$vCongresses 608 $aElectronic books. 615 0$aStochastic processes 615 0$aDynamics of a particle 615 0$aPhase transformations (Statistical physics) 676 $a519.2 702 $aDurrett$b Richard$f1951- 712 02$aAmerican Mathematical Society, 712 02$aInstitute of Mathematical Statistics, 712 02$aSociety for Industrial and Applied Mathematics, 712 12$aAMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Mathematics of Phase Transitions 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910479862703321 996 $aParticle systems, Random media and large deviations$9925121 997 $aUNINA LEADER 05164nam 2200649 450 001 9910464184503321 005 20200520144314.0 010 $a1-84969-871-6 035 $a(CKB)3710000000089866 035 $a(EBL)1647194 035 $a(SSID)ssj0001167253 035 $a(PQKBManifestationID)11647110 035 $a(PQKBTitleCode)TC0001167253 035 $a(PQKBWorkID)11129188 035 $a(PQKB)11374614 035 $a(MiAaPQ)EBC1647194 035 $a(CaSebORM)9781849698702 035 $a(PPN)228014433 035 $a(Au-PeEL)EBL1647194 035 $a(CaPaEBR)ebr10840103 035 $a(CaONFJC)MIL577208 035 $a(OCoLC)871190330 035 $a(EXLCZ)993710000000089866 100 $a20140307h20142014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aReSharper essentials $emake your microsoft visual studio work smarter with ReSharper /$fLukasz Gasior ; cover image by Michal Jasej 205 $a1st edition 210 1$aBirmingham, England :$cPackt Publishing Ltd,$d2014. 210 4$d©2014 215 $a1 online resource (124 p.) 225 0$aCommunity experience distilled 300 $aIncludes index. 311 $a1-84969-870-8 327 $aCover; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Getting Started with ReSharper; Introduction to ReSharper; Available versions; Support for various versions of Visual Studio; Support for various languages; Installing and configuring ReSharper; Installing ReSharper; Configuring ReSharper; Options; Manage options; Integration with Visual Studio; Summary; Chapter 2: Write Smarter Code; Code generation; Generating code for non-existent objects; Introduce variable; Generate constructors; Surround with 327 $aGenerate object membersUsing code editing helpers; Enhanced IntelliSense; Extending the code selection; Safe delete; Auto-importing namespaces; Quick documentation; Templates; Templates as snippets; File template; Customization; Multifile templates; Refactoring; Rename; Moving to separate file; Refactor this...; Summary; Chapter 3: Finding What You Need Quickly; Finding files; Going to proper file; Bookmarks; Last edited location; Go to Everything; Searching code references; Go to Declaration; Code usage; The Navigate to feature; Displaying code structure; File members 327 $aThe File Structure windowValue Origin and Destination; Navigating to the library code; Summary; Chapter 4: Making Your Code Better; Code quality analysis; Background analysis; Solution-wide inspections; Disabling code inspections; Code Issues; Eliminating errors and code smells; Quick fixes; Fix in scope; Structural Search and Replace; Code Cleanup; Summary; Chapter 5: Extended Support for Web Developers; ASP.NET Web Forms and ASP.NET MVC tools; Writing ASP.NET smartly; Templates; Enhanced navigation; ASP.NET MVC specific support; Support for JavaScript; Smart IntelliSense 327 $aThe Code Analysis and refactoring optionsNavigation and smart usages; Structural Search and Replace (SSR); Support for TypeScript; Support for HTML/CSS; Writing HTML/CSS code; CSS hierarchy; Navigation; Browser compatibility support; Templates; Code analysis; Summary; Chapter 6: Unit Testing; Test runner; The Unit Test Explorer window; The Unit Test Sessions window; Testing JavaScript; Running JavaScript unit tests; Integration with PhantomJS; Analyzing code coverage with dotCover; Summary; Chapter 7: Extending ReSharper; Why you should extend ReSharper; ReSharper API; Platform 327 $aProgram Structure Interface (PSI)Features and plugins; Daemons; Internal mode; PSI Browser; PSI Module Browser; PSI Viewer; Enable the Internal mode; The ReSharper SDK; Installing the ReSharper SDK; Getting the required NuGet packages; Your first plugin; Creating project; Project elements; Assembly info; Actions; Context action; Other project elements; Debugging a plugin; Deploying a plugin; Your plugin in action; Sample SDK plugins; Summary; Chapter 8: Tools for Architects; Architecture View; Advanced references view; The Referenced Code window; The Optimize References window 327 $aGlobal refactoring 330 $aA practical, hands-on guide that will help you to unleash the power of ReSharper to write better quality code. If you are a developer who is working with Visual Studio and are looking to make your work more efficient, this book is for you. It is most useful for new ReSharper users but those who are currently using it will also find many useful tips and references updated to the latest version (8.1). Prior knowledge of Visual Studio is a must. 606 $aWeb site development$xComputer programs 608 $aElectronic books. 615 0$aWeb site development$xComputer programs. 676 $a006.7882 700 $aGasior$b Lukasz$0881485 701 $aJasej$b Michal$0881486 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910464184503321 996 $aReSharper essentials$91968643 997 $aUNINA LEADER 03175nas 2200589 n 450 001 990009047060403321 005 20240229084248.0 011 $a0390-8127 035 $a000904706 035 $aFED01000904706 035 $a(Aleph)000904706FED01 035 $a000904706 091 $2CNR$aP 00013675 100 $a20161109b19712002km-y0itaa50------ba 101 0 $aita 102 $aIT 110 $aauu-------- 200 1 $aRicerca operativa 207 1$a1971-2002 210 $aMilano$cFranco Angeli 326 $aTrimestrale 440 0$12001$a4OR (Berlin) : a quarterly journal of operations research 530 0 $aRicerca operativa 675 $a5 675 $a65.012.122 675 $a380.13 676 $a658.4 676 $a519 676 $a003 712 02$aAssociazione italiana di ricerca operativa 801 0$aIT$bACNP$c20090723 859 4 $uhttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=6396&person=false&language=ITALIANO&libr=&libr_th=unina1$zBiblioteche che possiedono il periodico 901 $aSE 912 $a990009047060403321 958 $aBiblioteca. Dipartimento Matematico Statistico dell'Universitą Federico II. Napoli$b1973-1993;$c1973-1974;1985;1988;$eSRM Sc. XIV p. 4$fMAS 958 $aBiblioteca Interdipartimentale "Marcello Canino" dell'Universitą "Federico II"$b1982-1988;$c1982;1984-1988;$fDARPU 958 $aBiblioteca. Dipartimento di Pianificazione e Scienza del Territorio della Federico II di Napoli$b1975-2002.$fDINST 958 $aBiblioteca. Dipartimento di Ingegneria dei Materiali e della Produzione dell'Universitą Federico II$b1973-1991;$c1986;1988;1991;$eI$fDINMP 958 $aBiblioteca. Dipartimento di Ingegneria dei Trasporti dell'Universitą Federico II$b1979-1982;$fDINTR 959 $aMAS 959 $aDARPU 959 $aDINST 959 $aDINMP 959 $aDINTR 996 $aRicerca operativa$956674 997 $aUNINA AP1 8 $6866-01$aNA036 Biblioteca. Dipartimento Matematico Statistico dell'Universitą Federico II. Napoli$bSRM Sc. XIV p. 4$cCDD 003.5$eV. Cintia-Complesso Universitario Monte, 80126 S. Angelo Napoli (NA)$m(081) 675175/76 - 081675011$m081675009$nit AP1 8 $6866-02$aNA080 Biblioteca Interdipartimentale "Marcello Canino" dell'Universitą "Federico II"$evia Forno Vecchio 36, 80134 Napoli (NA)$m0812538758$m0812538717$nit AP1 8 $6866-03$aNA102 Biblioteca. Dipartimento di Pianificazione e Scienza del Territorio dell'Universitą Federico II di Napoli (Sez. di Ortopedia)$ep.le Tecchio,80, Napoli (NA)$m(081) 7682318$m(081) 7682309$nit AP1 8 $6866-04$aNA105 Biblioteca. Dipartimento di Ingegneria dei Materiali e della Produzione dell'Universitą Federico II$bI$ep.le Tecchio,80, 80125 Napoli (NA)$m081 7682595$m081 7682595$nit AP1 8 $6866-05$aNA113 Biblioteca. Dipartimento di Ingegneria dei Trasporti dell'Universitą Federico II$ev. Claudio,21, Napoli (NA)$m(081) 7683380; fax 610366$nit AP2 40$aacnp.cib.unibo.it$nACNP Italian Union Catalogue of Serials$uhttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=6396&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO