LEADER 01413nam 2200385 n 450 001 996387922703316 005 20221108075004.0 035 $a(CKB)1000000000625549 035 $a(EEBO)2240870384 035 $a(UnM)99842737 035 $a(EXLCZ)991000000000625549 100 $a19910521d1598 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 02$aA pensiue mans practise$b[electronic resource] $everie profitable for all persons, wherein are conteined verie deuout and necessarie praiers for sundrie godly purposes, with requisite perswasions before euery praier. VVritten by J. Norden 210 $aAt London $cPrinted by Richard Bradocke$d1598 215 $a[28], 3-270 [i.e. 254], [4] p 300 $aWith an index. 300 $aNumerous errors in pagination; actual pagination deduced from signature collation. 300 $aSignatures: [A]-M¹² . 300 $aIdentified as STC 18617b on UMI microfilm. 300 $aImperfect; lacks leaf M12. 300 $aReproduction of the original in the Folger Shakespeare Library. 330 $aeebo-0055 606 $aPrayers$vEarly works to 1800 615 0$aPrayers 700 $aNorden$b John$f1548-1625?$01003211 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996387922703316 996 $aA pensiue mans practise$92306915 997 $aUNISA LEADER 03362nam 22007575 450 001 9910595052303321 005 20260126103201.0 010 $a9783031169120 010 $a3031169123 024 7 $a10.1007/978-3-031-16912-0 035 $a(CKB)5850000000078552 035 $a(MiAaPQ)EBC7102163 035 $a(Au-PeEL)EBL7102163 035 $a(PPN)26495324X 035 $a(OCoLC)1348495448 035 $a(DE-He213)978-3-031-16912-0 035 $a(EXLCZ)995850000000078552 100 $a20220921d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMathematics of Program Construction $e14th International Conference, MPC 2022, Tbilisi, Georgia, September 26?28, 2022, Proceedings /$fedited by Ekaterina Komendantskaya 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (281 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13544 300 $aIncludes index. 311 08$a9783031169113 311 08$a3031169115 327 $aBreadth-First Traversal Via Staging -- Subtyping without Reduction -- Calculating datastructures -- Flexibly Graded Monads and Graded Algebras -- Folding over Neural Networks -- Towards a Practical Library for Monadic Equational Reasoning in Coq -- Semantic preservation for a type directed translation scheme of Featherweight Go -- Streams of Approximations, Equivalence of Recursive Effectful Programs -- Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes. 330 $aThis book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13544 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer networks 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aComputer Communication Networks 606 $aProgramació (Ordinadors)$2thub 606 $aMatemàtica discreta$2thub 608 $aCongressos$2thub 608 $aLlibres electrònics$2thub 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer networks. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 7$aProgramació (Ordinadors) 615 7$aMatemàtica discreta 676 $a371.39445 676 $a005.1 702 $aKomendantskaya$b Ekaterina 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910595052303321 996 $aMathematics of Program Construction$92915783 997 $aUNINA