LEADER 01474oam 2200457 450 001 9910711359603321 005 20181228094550.0 035 $a(CKB)5470000002482434 035 $a(OCoLC)963246471 035 $a(OCoLC)995470000002482434 035 $a(EXLCZ)995470000002482434 100 $a20161118d1968 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDetermination of discharge during pulsating flow /$fby T.H. Thompson 210 1$a[Washington, D.C.] :$cUnited States Department of the Interior, Geological Survey,$d1968. 210 2$aWashington :$cUnited States Government Printing Office. 215 $a1 online resource (22 pages) $cillustrations 225 1 $aGeological Survey water-supply paper ;$v1869-D 225 1 $aRiver hydraulics 320 $aIncludes bibliographical references (page 22). 606 $aHydraulic engineering 606 $aHydraulic engineering$2fast 615 0$aHydraulic engineering. 615 7$aHydraulic engineering. 700 $aThompson$b T. H$g(Terry H.),$f1937-$01384509 712 02$aGeological Survey (U.S.), 801 0$bCOP 801 1$bCOP 801 2$bOCLCO 801 2$bOCLCF 801 2$bGPO 801 2$bMERUC 801 2$bGPO 906 $aBOOK 912 $a9910711359603321 996 $aDetermination of discharge during pulsating flow$93487537 997 $aUNINA LEADER 03856nam 22007215 450 001 9910484565903321 005 20230222051045.0 010 $a3-662-46663-5 024 7 $a10.1007/978-3-662-46663-6 035 $a(CKB)3710000000379739 035 $a(SSID)ssj0001465416 035 $a(PQKBManifestationID)11832167 035 $a(PQKBTitleCode)TC0001465416 035 $a(PQKBWorkID)11471580 035 $a(PQKB)11572481 035 $a(DE-He213)978-3-662-46663-6 035 $a(MiAaPQ)EBC6287502 035 $a(MiAaPQ)EBC5584956 035 $a(Au-PeEL)EBL5584956 035 $a(OCoLC)906931213 035 $a(PPN)184895030 035 $a(EXLCZ)993710000000379739 100 $a20150331d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCompiler Construction $e24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /$fedited by Björn Franke 205 $a1st ed. 2015. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015. 215 $a1 online resource (XII, 253 p. 78 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9031 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-662-46662-7 327 $aInvited Paper -- A Graphical Model for Context-Free Grammar Parsing -- Compiler Engineering and Compiling Techniques A Refactoring Library for Scala Compiler Extensions -- Feature-Specific Profiling -- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages -- Faster, Practical GLL Parsing -- Analysis and Optimisation -- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation -- Staged Points-to Analysis for Large Code Bases -- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes -- Optgen: A Generator for Local Optimizations -- Formal Techniques -- Towards a Scalable Framework for Context-Free Language Reachability -- Protocols by Default: Safe MPI Code Generation Based on Session Types -- Verifying Fast and Sparse SSA-Based Optimizations in Coq. 330 $aThis book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9031 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer science 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 615 0$aCompilers (Computer programs) 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer science. 615 14$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.453 702 $aFranke$b Björn$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484565903321 996 $aCompiler Construction$9771871 997 $aUNINA