| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996387105503316 |
|
|
Autore |
Sibbes Richard <1577-1635.> |
|
|
Titolo |
The saints safetie in evill times [[electronic resource] ] : delivered at St Maries in Cambridge the fift of November, upon occasion of the povvder-plot ; whereunto is annexed a Passion-sermon preached at Mercers Chappel, London, upon Good-Friday ; as also the happiness of enjoying Christ, laid open at the funerall of Mr Sherland ... / / by R. Sibbes . |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed by M. Flesher for R. Dawlman at the Brazen Serpent in Pauls Church-yard, 1634 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
[2], 302 [i.e. 320], 240, [22] p |
|
|
|
|
|
|
Soggetti |
|
Gunpowder Plot, 1605 |
Sermons, English - 17th century |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Includes index. |
Signatures: a-u⁸, x², B-O⁸, (*)⁸, (**)² |
"The churches visitation" has special t.p. and separate paging. |
Title within double line border; text within line border. Headpieces; initials. Marginal notes. |
Reproduction of original in: Harvard University. Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA990003370950203316 |
|
|
Autore |
GOMBRICH, E. H. |
|
|
Titolo |
Aby Warburg : una biografia intellettuale / Ernst H. Gombrich ; prefazione di Katia Mazzucco ; traduzione di Alessandro Dal Lago e Pier Aldo Rovatti |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano, : Feltrinelli, 2003 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XV, 320 p., 65 p. di tav. : ill. ; 22 cm |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Collocazione |
|
XII.2.C. 1862 a |
XII.2.C. 1862 |
XV 21 769 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910484355203321 |
|
|
Titolo |
Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / / Alessandro Aldini ... [et al.], (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg, : Springer-Verlag, 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-280-38722-X |
9786613565143 |
3-642-13678-8 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 169 p. 31 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 6154 |
LNCS sublibrary. SL 2, Programming and software engineering |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer systems |
Telecommunication systems |
Computer software |
|
|
|
|
|
|
|
|
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 |
|
Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. The main aim of the SFM series is to o'er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2010 was devoted to formal methods for quantitative aspects of p- gramminglanguagesandcoveredseveraltopicsincludingprobabilisticandti |
|
|
|
|
|
|
|
|
|
|
med models, model checking, static analysis, quantum computing, real-time and - bedded systems, and security. This volume comprises four articles. The paper by Di Pierro, Hankin, and Wiklicky investigates the relation between the operational semantics of pro- bilistic programming languages and discrete-time Markov chains and presents a framework for probabilistic program analysis inspired by classical abstract interpretation. Broadbent, Fitzsimons, and Kashe? review the mathematical model underlying measurement-based quantum computation, a novel approach to quantum computation where measurement is the main driving force of c- putation instead of the unitary operations of the more traditional quantum c- cuit model. The paper by Malacaria and Heusser illustrates the informati- theoretical basis of quantitative information ?ow by showing the relationship betweenlattices,partitions,andinformation-theoreticalconcepts,aswellastheir applicabilitytoquantifyleakageofcon'dentialinformationinprograms. Finally, Wolter and Reinecke discuss the trade-o? between performance and security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics. |
|
|
|
|
|
| |