| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009237830403321 |
|
|
Titolo |
Automata, Languages and Programming [Risorsa elettronica] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / edited by Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2005 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 3580 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996465635303316 |
|
|
Titolo |
Semantics of Concurrent Computation [[electronic resource] ] : Proceedings of the International Symposium Evian, France, July 2-4, 1979 / / edited by G. Kahn |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1979 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1979.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 372 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 70 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer logic |
Software engineering |
Logics and Meanings of Programs |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
The temporal semantics of concurrent programs -- Modal logic of |
|
|
|
|
|
|
|
|
|
|
|
|
|
concurrent nondeterministic programs -- Non-deterministic system specification -- On properties preserved by contractions of concurrent systems -- Static analysis of concurrent processes for dynamic properties using Petri Nets -- Notion de Dualite et de Symetrie dans les Reseaux de Petri -- A characterization of concurrency-like relations -- The analysis of distributed systems by means of predicate/transition-nets -- On describing the behavior and implementation of distributed systems -- On the absence of livelocks in parallel programs -- Denotational semantics of parallelism -- An approach to fair applicative multiprogramming -- Modeling a solution for a control problem in distributed systems by restrictions -- Adequate path expressions -- Petri nets, event structures and domains -- An extensional treatment of dataflow deadlock -- On achieving distributed termination -- Specifying and proving properties of guardians for distributed systems -- Principles for distributing programs -- A Petri net definition of a system description language. |
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996390484703316 |
|
|
Autore |
Robinson H (Hugh), <1584?-1655.> |
|
|
Titolo |
Scholæ Wintoniensis phrases Latinæ [[electronic resource] ] : The Latine phrases of VVinchester-school. Corrected, and much augmented, with poeticals added; and these four tracts, viz. I. Of words not to be used by elegant Latinists. II. The difference of many words like one another, in sound or signification. III. Some words governing a subjunctive mood, not mentioned in Lillies Grammar. IV. Concerning chreia and gnomē, for entring children upon making of themes by H. Robinson, D.D |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : printed for A.M. and are to be sold by R. Boulter at the Turks-Head in Cornhil, over against the Royal Exchange, 1673 |
|
|
|
|
|
|
|
|
|
Edizione |
[The eigth edition with additions. Published for the common use and benefit of the grammar-schools.] |
|
|
|
|
|
|
|
Descrizione fisica |
|
[8], 245 [i.e.246], 249-406 p |
|
|
|
|
|
|
Soggetti |
|
Latin language |
Latin language - Terms and phrases |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Text is mixed Latin and English. |
|
|
|
|
|
|
|
|
|
Numerous errors in pagination. |
Imperfect: title page has considerable MS. affecting transcription; pp. 247-248 lacking. |
Reproduction of the original at the British Library. |
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
| |