| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996394189603316 |
|
|
Autore |
D'Assigny Marius <1643-1717.> |
|
|
Titolo |
The divine art of prayer [[electronic resource] ] : Containing the most proper rules to pray well: With divers meditations and prayers suitable to the several necessities of Christians, in their differing states of life. As you may see more fully by the contents. Useful in every family. The second edition newly revis'd, augmented, and corrected, By Marius D'Assigny, B.D |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : printed by R. Everingham, for Tho. Cockerill, at the Bible and three Legs in the Poultry, 1697 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Copy filmed at UMI microfilm Early English Books 1641-1700 reel 2427 appears to have been altered to 1667. |
Reproduction of original in the Sion College Library, London. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996384614003316 |
|
|
Autore |
Bucer Martin <1491-1551.> |
|
|
Titolo |
The Ivdgement of Martin Bucer concerning divorce [[electronic resource] ] : written to Edward the sixt, in his second book of the Kingdom of Christ, and now Englisht : wherein a late book restoring the doctrine and discipline of divorce is heer confirm'd and justify'd by the authoritie of Martin Bucer to the Parlament of England |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed by Matthew Simmons, 1644 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Translated by John Milton. Cf. BLC. |
The 1st anonymous edition of the "late book" mentioned in the title, Milton's Doctrine and discipline of divorce, was published in 1643, the second edition in 1644. |
"To the Partlament," 5th-8th prelim. p. signed: John Milton. |
"A post-script": 2 p. appended. |
Reproduction of original in Thomason Collection, British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996465630803316 |
|
|
Titolo |
Distributed Computing [[electronic resource] ] : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings / / edited by Idit Keidar |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XV, 532 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5805 |
|
|
|
|
|
|
Classificazione |
|
DAT 250f |
DAT 516f |
SS 4800 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer networks |
Computer programming |
Software engineering |
Algorithms |
Artificial intelligence—Data processing |
Computers, Special purpose |
Computer Communication Networks |
Programming Techniques |
Software Engineering |
Data Science |
Special Purpose and Application-Based Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
The 2009 Edsger W. Dijkstra Prize in Distributed Computing -- The 2009 Edsger W. Dijkstra Prize in Distributed Computing -- Michel Raynal and Shmuel Zaks 60th Birthday Symposium -- Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement! -- What Agreement Problems Owe Michel -- Shmuel Zaks - The Early Years: A Combinatorialist in Distributed Computing -- Shmuel Zaks - The Mathematician, Computer Scientist and Personality -- Award Nominees (Session 2B) -- The Disagreement Power of an |
|
|
|
|
|
|
|
|
|
|
|
Adversary -- New Bounds for the Controller Problem -- On Set Consensus Numbers -- The Abstract MAC Layer -- Randomization Can Be a Healer: Consensus with Dynamic Omission Failures -- Transactional Memory (Session 1A) -- Interrupting Snapshots and the Java Size() Method -- Elastic Transactions -- Brief Announcement: Transactional Scheduling for Read-Dominated Workloads -- Shared Memory (Session 1B) -- Tight Group Renaming on Groups of Size g Is Equivalent to g-Consensus -- The RedBlue Adaptive Universal Constructions -- Help When Needed, But No More: Efficient Read/Write Partial Snapshot -- Contention-Sensitive Data Structures and Algorithms -- Brief Announcement: Acceleration by Contention for Shared Memory Mutual Exclusion Algorithms -- Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset -- Distributed and Local Graph Algorithms (Session 1C) -- Local Computation of Nearly Additive Spanners -- A Local 2-Approximation Algorithm for the Vertex Cover Problem -- Distributed Discovery of Large Near-Cliques -- Distributed Fractional Packing and Maximum Weighted b-Matching via Tail-Recursive Duality -- Brief Announcement: Decidable Graph Languages by Mediated Population Protocols -- Brief Announcement: Towards Secured Distributed Polling in Social Networks -- Modeling Issues (Session 1D) -- What Can Be Observed Locally? -- At-Most-Once Semantics in Asynchronous Shared Memory -- Nonblocking Algorithms and Backward Simulation -- Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction -- Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison -- Game Theory (Session 2A) -- Dynamics in Network Interaction Games -- Brief Announcement: Cloud Computing Games: Pricing Services of Large Data Centers -- Failure Detectors (Session 2C) -- On the Existence of Weakest Failure Detectors for Mutual Exclusion and k-Exclusion -- Crash-Quiescent Failure Detection -- The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash and Anonymity -- Brief Announcement: On Implementing Omega Efficiently in the Crash-Recovery Model -- Brief Announcement: The Minimum Failure Detector for Non-Local Tasks in Message-Passing Systems -- Brief Announcement: Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement -- From Theory to Practice (Session 3A) -- Brief Announcement Zab: A Practical Totally Ordered Broadcast Protocol -- Graph Algorithms and Routing (Session 3B) -- Compact Multicast Routing -- Compact Routing in Power-Law Graphs -- Virtual Ring Routing Trends -- A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property -- Euler Tour Lock-In Problem in the Rotor-Router Model -- Consensus and Byzantine Agreement (Session 3C) -- Optimum Simultaneous Consensus for General Omissions Is Equivalent to an NP Oracle -- On the Number of Synchronous Rounds Sufficient for Authenticated Byzantine Agreement -- From Almost Everywhere to Everywhere: Byzantine Agreement with Bits -- Brief Announcement: A Leader-free Byzantine Consensus Algorithm -- Radio Networks (Session 3D) -- Efficient k-Shot Broadcasting in Radio Networks -- Keeping Mobile Robot Swarms Connected -- Consensus and Mutual Exclusion in a Multiple Access Channel -- Brief Announcement: Efficient Utilization of Multiple Interfaces in Wireless Ad Hoc Networks -- Brief Announcement: The Speed of Broadcasting in Random Networks – Density Does Not Matter. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009. The 33 revised full papers, selected |
|
|
|
|
|
|
|
|
|
|
from 121 submissions, are presented together with 15 brief announcements of ongoing works; all of them were carefully reviewed and selected for inclusion in the book. The papers address all aspects of distributed computing, and were organized in topical sections on Michel Raynal and Shmuel Zaks 60th birthday symposium, award nominees, transactional memory, shared memory, distributed and local graph algorithms, modeling issues, game theory, failure detectors, from theory to practice, graph algorithms and routing, consensus and byzantine agreement and radio networks. |
|
|
|
|
|
| |