| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996390499303316 |
|
|
Titolo |
By the Lord Deputy and Council. Tyrconnell [[electronic resource] ] : Whereas several persons in the province of Ulster and the town of Sligoe in this his Majesties kingdom have entred into several associations, containing no less offence than high treason, . |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Dublin, : Printed by Andrew Crook and Samuel Helsham, assigns of Benjamin Tooke printer to the King's most excellent Majesty; and are to be sold at his Majesties printing-house on Ormonde-Key, and the Colledge-Arms in Castle-street., 1689 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
TyrconnelRichard Talbot, Earl of, <1630-1691.> |
|
|
|
|
|
|
Soggetti |
|
Ireland History War of 1689-1691 Early works to 1800 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Given at the Council-Chamber in Dublin the 7th day March 1688.". |
Some dates are given according to Lady Day dating. |
Arms 188. |
Treasonable associations have been formed in Ulster and Sligo. A proclamation has been issued ordering them to disperse, ... A full pardon offered to every one except Hugh, Earl of Mount Alexander. Cf. Steele. |
Imperfect: print show through. |
Reproduction of original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466228503316 |
|
|
Titolo |
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / / edited by Wil van der Aalst, Eike Best |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 351 p. 136 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10258 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
Computer simulation |
Machine theory |
Artificial intelligence |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Computer Modelling |
Formal Languages and Automata Theory |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume |
|
|
|
|
|
|
|
|
|
|
were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways. |
|
|
|
|
|
| |