| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996396735803316 |
|
|
Autore |
Stow John <1525?-1605.> |
|
|
Titolo |
The survey of London [[electronic resource] ] : containing the original, increase, modern estate and government of that city, methodically set down : with a memorial of those famouser acts of charity, which for publick and pious vses have been bestowed by many worshipfull citizens and benefactors : as also all the ancient and modern monuments erected in the churches, not only of those two famous cities, London and Westminster, but (now newly added) four miles compass / / begun first by the pains and industry of John Stow, in the year 1598 ; afterwards inlarged by the care and diligence of A.M. in the year 1618 ; and now compleatly finished by the study & labour of A.M., H.D. and others, this present year 1633 ; whereunto, besides many additions (as appears by the contents) are annexed divers alphabetical tables, especially two, the first, an index of things, the second, a concordance of names |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed for Nicholas Bourn, and are to be sold at his shop at the south entrance of the Royal-Exchange, 1633 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
[14], 939 [i.e. 943], [29] p. : ill., coats of arms |
|
|
|
|
|
|
Altri autori (Persone) |
|
MundayAnthony <1553-1633.> |
|
|
|
|
|
|
Soggetti |
|
London (England) Description and travel Early works to 1800 |
London (England) History To 1500 |
London (England) History 16th century |
London (England) History 17th century |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"The remaines or remnants of divers worthy things, which should have had their due place and honour in this worke, if promising friends had kept their words" has special t.p. |
"A. M., H. D. and others" [i.e. Anthony Munday, Henry Dyson, and others]--Cf. STC (2nd ed.) and NUC pre-1956 imprints. |
Signatures: A⁸(-A1) B-2X⁶ 2Y⁵ (2Y)⁵ 2Z-4K⁶ 4L-4M⁴ 4N⁶. |
Numerous errors in paging. |
Includes indexes. |
Marginal notes. |
Reproduction of original in the Harvard University Library. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483089803321 |
|
|
Titolo |
Biomimetic and Biohybrid Systems : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings / / edited by Nathan F. Lepora, Anna Mura, Michael Mangan, Paul F.M.J. Verschure, Marc Desmulliez, Tony J. Prescott |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 555 p. 302 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 9793 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Image processing - Digital techniques |
Computer vision |
Control engineering |
Robotics |
Automation |
Computer science |
Data mining |
Artificial Intelligence |
Computer Imaging, Vision, Pattern Recognition and Graphics |
Control, Robotics, Automation |
Theory of Computation |
Data Mining and Knowledge Discovery |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Biomimetic robots and their component technologies -- Nature-inspired designs and manufacturing processes -- Biohybrid brain-machine interfaces and neural implants -- Organism-level biohybrids. . |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 5th International |
|
|
|
|
|
|
|
|
|
|
|
|
|
Conference on Biomimetic and Biohybrid Systems, Living Machines 2016, held in Edinburgh, UK, in July 2016. The 34 full and 27 short papers presented in this volume were carefully reviewed and selected from 63 submissions. The theme of the conference encompasses biomimetic methods for manufacture, repair and recycling inspired by natural processes such as reproduction, digestion, morphogenesis and metamorphosis. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910485588703321 |
|
|
Titolo |
Application and Theory of Petri Nets and Concurrency : 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / / edited by Didier Buchs, Josep Carmona |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (487 pages) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12734 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Algorithms |
Data structures (Computer science) |
Information theory |
Computer science - Mathematics |
Discrete mathematics |
Software engineering |
Computer Science Logic and Foundations of Programming |
Design and Analysis of Algorithms |
Data Structures and Information Theory |
Discrete Mathematics in Computer Science |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Keynotes -- Topics in Region Theory and Synthesis Problems -- Flat Petri Nets -- Application of Concurrency to System Design -- Cost and Quality in Crowdsourcing Workflows -- Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design -- A Turn-Based Approach for Qualitative Time Concurrent Games -- Games -- Canonical Representations for Direct Generation of Strategies in High-level Petri Games -- Automatic Synthesis of Transiently Correct Network Updates via Petri Games -- Verification -- Computing Parameterized Invariants of Parameterized Petri Nets -- On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets -- Skeleton Abstraction for Universal Temporal Properties -- Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets -- Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets -- Synthesis and Mining -- Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable -- Synthesis of (Choice-Free) Reset Nets -- Synthesis of Petri Nets with restricted place-environments: classical and parameterized -- Discovering Stochastic Process Models By Reduction and Abstraction -- Reachability and Partial Order -- Efficient Algorithms for Three Reachability Problems in Safe Petri Nets -- A Lazy Query Scheme for Reachability Analysis in Petri nets -- Abstraction-based Incremental Inductive Coverability for Petri nets -- Firing Partial Orders in a Petri Net -- Semantics -- Deterministic concurrent systems -- Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets -- Tools -- Cortado — An Interactive Tool for Data-Driven Process Discovery and Modeling -- PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021. The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910484253503321 |
|
|
Titolo |
Cryptology and Network Security : 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings / / edited by Sara Foresti, Giuseppe Persiano |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2016.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 762 p. 116 illus.) |
|
|
|
|
|
|
Collana |
|
Security and Cryptology, , 2946-1863 ; ; 10052 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Cryptography |
Data encryption (Computer science) |
Data protection |
Computer networks |
Coding theory |
Information theory |
Electronic data processing - Management |
Cryptology |
Data and Information Security |
Computer Communication Networks |
Coding and Information Theory |
IT Operations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 15th International Conference on Cryptology and Network Security, CANS 2016, held in Milan, Italy, in November 2016. The 30 full papers presented together with 18 short papers and 8 poster papers were carefully reviewed and selected from 116 submissions. The papers are organized in the following topical sections: cryptanalysis of symmetric key; side channel attacks and implementation; lattice-based cryptography, virtual private network; signatures and hash; multi party |
|
|
|
|
|
|
|
|
|
|
computation; symmetric cryptography and authentication; system security, functional and homomorphic encryption; information theoretic security; malware and attacks; multi party computation and functional encryption; and network security, privacy, and authentication. |
|
|
|
|
|
| |