| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910482618303321 |
|
|
Autore |
Menghi Girolamo <1529-1609.> |
|
|
Titolo |
Flagellum daemonum. Seu exorcismi terribiles ... remediaque probatissima in malignos spiritus expellendos; facturasque, et maleficia effuganda de obsessis corporibus; cum suis benedictionibus / [Girolamo Menghi] [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bologna, : Giovanni Rossi, 1577 |
|
|
|
|
|
|
|
Descrizione fisica |
|
Online resource ([12] leaves, 284 p., [2] leaves (last blank) , (8vo)) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Reproduction of original in The Wellcome Library, London. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910631897803321 |
|
|
Autore |
Francioni Vespoli, Giuseppe |
|
|
Titolo |
Itinerario per lo regno delle Due Sicilie di Giuseppe Francioni Vespoli cavaliere del sacro militar ordine gerosolimitano e socio di varie accademie d'Italia. Parte prima [-seconda] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Napoli, : dalla stamperia francese, 1828-1830 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Illustrazioni calcografiche recanti la sottoscrizione: lit. Cuciniello, e Bianchi |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
2.: Reali Domini di là del faro 1830 171, [5] p., [5] c. di tav. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483466503321 |
|
|
Titolo |
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings / / edited by Ralf Klasing, Marc Zeitoun |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXI, 432 p. 33 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10472 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Algorithms |
Computer networks |
Computer science - Mathematics |
Discrete mathematics |
Software engineering |
Computer Science Logic and Foundations of Programming |
Computer Communication Networks |
Theory of Computation |
Discrete Mathematics in Computer Science |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods. |
|
|
|
|
|
|
|
| |