Declaration du serenissime Roy Iaques I. Roy de la Grand' Bretaigne France et Irlande, defenseur de la foy [[electronic resource] ] : Pour le droit des rois & independance de leurs couronnes, contre la harangue de l'illustrissime Cardinal de Perron prononcée en la chambre du tiers Estat le XV. de Ianuier 1615

• Record Nr.: UNISA996389963303316
• Autore: James, King of England, <1566-1625.>
• Pubbl/distr/stampa: A Londres, : Par Iehan Bill imprimeur du roy, M.DC.XV. [1615] Auec priuilege de sa Majesté
• Descrizione fisica: [2], 125 [i.e. 126], [2] p
• Altri autori (Persone): Du MoulinPierre <1568-1658.>
• Soggetti: Prerogative, Royal; Church and state - England
• Lingua di pubblicazione: Francese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: A reply to: Du Perron, Jacques Davy. Harangue faicte de la part de la chambre ecclesiastique, en celle du tiers estat, sur l'article de serment.; Translated by Pierre de Moulin.; Page 126, final numbered page, misnumbered 125.; Running title reads: Defense du droit de rois.; This state has a2r catchword: des.; Reproduction of the original in the British Library.; Some print show-through.; At foot of title: Auec priuilege de sa [sic] Majest'e.
• Sommario/riassunto: eebo-0018

The Christen state of matrymonye [[electronic resource] ] : wherein housebandes and wyues maye lerne to kepe house together wyth loue. The original of holy wedlok: wha[n], wher, how, [and] of whom it was instituted [and] ordeined: what it is: how it ought to proceade: what be the occasio[n]s, frute and commodities therof. Contrarye wyse: how shameful [and] horrible a thi[n]g whoredom and aduoutry is: how one ought also to chose him a mete [and] conuenient spouse to kepe and increase the mutual loue, trueth and dewty of wedloke: and how maryed folkes should bringe vp theyr children in the feare of God. Set forthe by Myles Couerdale

• Record Nr.: UNISA996388399303316
• Autore: Bullinger Heinrich <1504-1575.>
• Pubbl/distr/stampa: [Imprinted at London, : By Nycholas Hyll in Saynct Thomas strete, Anno incarnationis Christis. M.D.LII. [1552]]
• Descrizione fisica: 91, [4] leaves
• Altri autori (Persone): CoverdaleMiles <1488-1568.>
• Soggetti: Marriage - Religious aspects - Christianity
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: A translation by Miles Coverdale of: Bullinger, Heinrich. Der Christlich Eestand.; Imprint from colophon.; Publication date preceeds place of publication in colophon.; Has no preface; with chapters 1-25. Chapter 12 omitted, and chapter 13 split into two chapters, numbered 12 and 13.; Imperfect: folio 17 lacking.; Reproduction of the original in the Bodleian Library.
• Sommario/riassunto: eebo-0014

Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings / / edited by Nir Piterman, Scott Smolka

• Record Nr.: UNISA996465970203316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
• ISBN: 3-642-36742-9
• Edizione: [1st ed. 2013.]
• Descrizione fisica: 1 online resource (XXIV, 646 p. 137 illus.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7795
• Disciplina: 004.21
• Soggetti: Computer science; Software engineering; Algorithms; Compilers (Computer programs); Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients for Probabilistic Automata -- LTL Model Checking of Interval Markov Chains -- Ramsey vs. Lexicographic Termination Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors -- The MathSAT5 SMT Solver -- Formula Preprocessing in MUS Extraction -- Proof Tree Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus -- An Overview of the mCRL2 Toolset and Its Recent Advances -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation of Procedure Summaries for Integer ; Programs -- Runtime Verification Based on Register Automata -- Unbounded Model-Checking with Interpolation for Regular Language Constraints -- eVolCheck: Incremental Upgrade Checker for C -- Intertwined Forward-Backward Reachability Analysis Using Interpolants -- An Integrated Specification and Verification Technique or Highly Concurrent Data Structures -- A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems -- Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty -- Integer Parameter Synthesis for Timed Automata -- LTL Model-Checking for Malware Detection -- Policy Analysis for Self-administrated Role-Based Access Control -- Model Checking Agent Knowledge in Dynamic Access Control Policies -- Frontiers (Graphics and Quantum) Automatic Testing of Real-Time Graphics Systems -- Equivalence Checking of Quantum Protocols -- Encoding Monomorphic and Polymorphic Types -- Deriving Probability Density Functions from Probabilistic Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms -- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO -- BULL: A Library for Learning Algorithms of Boolean Functions -- AppGuard – Enforcing User Requirements on Android Apps -- Model Checking Database Applications -- Efficient Property Preservation Checking of Model Refinements -- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking -- Competition on Software Verification Second Competition on Software Verification (Summary of SV-COMP 2013) -- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation (Competition Contribution) -- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis (Competition Contribution) -- CSeq: A Sequentialization Tool for C (Competition Contribution) -- Handling Unbounded Loops with ESBMC 1.20 (Competition Contribution) -- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM (Competition Contribution) -- Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution) -- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution (Competition Contribution) -- Threader: A Verifier for Multi-threaded Programs (Competition Contribution) -- UFO: Verification with Interpolants and Abstract Interpretation (Competition Contribution) -- Ultimate Automizer with SMTInterpol (Competition Contribution).
• Sommario/riassunto: This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Büchi automata; and competition on software verification.