Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Applications and theory of Petri nets : selected papers from the first and the second european workshop on application and theory of Petri nets, Strasbourg, 23-26, september 1980, Bad Honnef, 28-30, september 1981 / edited by Claude Girault, Wolfgang Reisig
| Applications and theory of Petri nets : selected papers from the first and the second european workshop on application and theory of Petri nets, Strasbourg, 23-26, september 1980, Bad Honnef, 28-30, september 1981 / edited by Claude Girault, Wolfgang Reisig |
| Autore | European workshop on application and theory of Petri Nets : <1. ; : 1980 |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1982 |
| Descrizione fisica | 337 p. : ill. ; 25 cm |
| Disciplina | 629.89 |
| Collana | Informatik-Fachberichte |
| Soggetto non controllato | Reti di Petri |
| ISBN | 3-540-11189-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000495710403321 |
| European workshop on application and theory of Petri Nets : <1. ; : 1980 | ||
| Berlin ; Heidelberg : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Decentralized systems : IFIP WG 10.3 working conference on decentralized systems : Lyon, France, 11-13 december, 1989 : proceedings / edited by Michel Cosnard, Claude Girault
| Decentralized systems : IFIP WG 10.3 working conference on decentralized systems : Lyon, France, 11-13 december, 1989 : proceedings / edited by Michel Cosnard, Claude Girault |
| Autore | IFIP WG 10.3 working conference on decentralized systems : <1989 |
| Pubbl/distr/stampa | Amsterdam [etc.], : North Holland, 1990 |
| Descrizione fisica | VIII, 451 p. ; 23 cm. |
| Disciplina |
004
004.36 |
| Soggetto topico | Elaborazione distribuita - Congressi - 1989 |
| ISBN | 0444888985 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO2282723 |
IFIP WG 10.3 working conference on decentralized systems : <1989
|
||
| Amsterdam [etc.], : North Holland, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk
| Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk |
| Autore | Girault, Claude |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 2010 |
| Descrizione fisica | XVI, 607 p. : ill. ; 24 cm |
| Disciplina |
004.01
004.0151 |
| Altri autori (Persone) | Valk, Rudiger |
| Soggetto topico | Informatica - Metodi matematici |
| ISBN | 9783642074479 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0512982 |
|
Girault, Claude
|
||
| Berlin [etc.], : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||