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.
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xi, 435 pages) : illustrations |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Data structures (Computer science) Information theory Database management Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Discrete Mathematics in Computer Science Data Structures and Information Theory Database Management System |
| ISBN | 3-030-51831-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Application of Concurrency to System Design -- Languages and Synthesis -- Semantics -- Process Mining and Applications -- Extensions and Model Checking -- Tools. |
| Record Nr. | UNISA-996418296803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain
| Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xi, 435 pages) : illustrations |
| Disciplina |
511.3
511.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Data structures (Computer science) Information theory Database management Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Discrete Mathematics in Computer Science Data Structures and Information Theory Database Management System |
| ISBN | 3-030-51831-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Application of Concurrency to System Design -- Languages and Synthesis -- Semantics -- Process Mining and Applications -- Extensions and Model Checking -- Tools. |
| Record Nr. | UNINA-9910409661903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Paradigms of concurrency : observations, behaviours, and systems -- a Petri Net view / / Ryszard Janicki [and three others]
| Paradigms of concurrency : observations, behaviours, and systems -- a Petri Net view / / Ryszard Janicki [and three others] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (328 pages) |
| Disciplina | 511.3 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico | Petri nets |
| ISBN | 3-662-64821-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910574858803321 |
| Berlin ; ; Heidelberg : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rough Sets and Knowledge Technology [[electronic resource] ] : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings / / edited by Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy W. Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu
| Rough Sets and Knowledge Technology [[electronic resource] ] : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings / / edited by Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy W. Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XVIII, 526 p. 98 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Optical data processing Numerical analysis Application software Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computer Imaging, Vision, Pattern Recognition and Graphics Numeric Computing Information Systems Applications (incl. Internet) |
| ISBN | 3-642-31900-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465480703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||