LEADER 01892nam 2200373 n 450 001 996392361103316 005 20200824121747.0 035 $a(CKB)4940000000107921 035 $a(EEBO)2248524347 035 $a(UnM)99862494e 035 $a(UnM)99862494 035 $a(EXLCZ)994940000000107921 100 $a19930104d1654 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe oppressed close prisoner in Windsor-Castle, his defiance to the father of lyes, in the strength of the God of truth$b[electronic resource] $eOccasioned by some late, scandalous and slanderous reports, raised and dispersed to the dishonour of that noble cause, wherein he (with others of the Lords servants) is so deeply engaged. As also, a seasonable word, concerning the higher powers: concerning the payment of taxes and tribute-money by the saints to those powers: and how far a minister of the Gospel may intermeddle in state-affairs without sin. /$fBy Chr. Feake, in his prison-watch-tower 210 $aLondon, $cPrinted for L. Chapman, at the Crown in Popes-head-alley.$d1655. [i.e. 1654] 215 $a[10], 119, [1] p 300 $aErrata leaf follows quire A. 300 $aThomason received his copy 19 December 1654. 300 $aAnnotation on Thomason copy: "1654. Decemb. 19."; the final '5' in the imprint has been crossed out. 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 606 $aChurch and state$vEarly works to 1800 615 0$aChurch and state 700 $aFeake$b Christopher$ffl. 1645-1660.$01002946 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996392361103316 996 $aThe oppressed close prisoner in Windsor-Castle, his defiance to the father of lyes, in the strength of the God of truth$92397939 997 $aUNISA LEADER 03931nam 22005175 450 001 9910768477603321 005 20251116200629.0 010 $a9783031479632 010 $a3031479637 024 7 $a10.1007/978-3-031-47963-2 035 $a(MiAaPQ)EBC30965582 035 $a(Au-PeEL)EBL30965582 035 $a(OCoLC)1410592174 035 $a(DE-He213)978-3-031-47963-2 035 $a(CKB)29026790800041 035 $a(EXLCZ)9929026790800041 100 $a20231122d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTheoretical Aspects of Computing ? ICTAC 2023 $e20th International Colloquium, Lima, Peru, December 4?8, 2023, Proceedings /$fedited by Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (451 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14446 311 08$aPrint version: Ábrahám, Erika Theoretical Aspects of Computing - ICTAC 2023 Cham : Springer,c2023 327 $aOptimal Route Synthesis in Space DTN using Markov Decision Processes -- Modelling and Verifying Robotic Software that use Neural Networks -- A game-theoretic approach to indistinguishability of winning objectives as user privacy -- Learning Attack Trees by Genetic Algorithms -- The Landscape of Computing Symmetric $n$-Variable Functions with $2n$ Cards -- On the complexity of reasoning in Kleene algebras with commutativity conditions -- Towards the Complexity Analysis of Programming Language Proof Methods -- A Dynamic Temporal Logic for Quality of Service in Choreographic Models -- Interactive Matching Logic Proofs in Coq -- An Autonomous Data Language -- Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling -- Strong Call-by-Value and Multi Types -- Algorithms for Checking Intersection Non-emptiness of Regular Expressions -- Realisability of Global Models of Interaction -- Efficient Reactive Synthesis Using Mode Decomposition -- A Categorical Approach to Synthetic Chemistry -- Closure and Decision Properties for Higher-Dimensional Automata -- Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad -- Moggi Synchronous Agents, Verification, and Blame ? A Deontic View -- Store Locally, Prove Globally -- Denotational Semantics for Symbolic Execution -- TOOL PAPER: Tessla-ROS-Bridge - Runtime Verification of Robotic Systems -- Simplifying process parameters by unfolding algebraic data types -- Modular Soundness Checking of Feature Model Evolution Plans. 330 $aThis book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4?8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14446 606 $aComputer science 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer science. 615 14$aComputer Science Logic and Foundations of Programming. 676 $a004.0151 700 $aA?braha?m$b Erika$00 701 $aDubslaff$b Clemens$01448714 701 $aTapia Tarifa$b Silvia Lizeth$01872931 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768477603321 996 $aTheoretical Aspects of Computing ? ICTAC 2023$94482788 997 $aUNINA