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.
Constraints meet concurrency / Jacopo Mauro
| Constraints meet concurrency / Jacopo Mauro |
| Autore | Mauro, Jacopo |
| Pubbl/distr/stampa | Paris, : Atlantis, 2014 |
| Descrizione fisica | XV, 148 p. : ill. ; 24 cm |
| Soggetto topico |
68N17 - Logic programming [MSC 2020]
68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
| Soggetto non controllato |
Concurrency theory
Constraint Handling Rules Constraint programming Service oriented computing |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0104374 |
Mauro, Jacopo
|
||
| Paris, : Atlantis, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constraints meet concurrency / Jacopo Mauro
| Constraints meet concurrency / Jacopo Mauro |
| Autore | Mauro, Jacopo |
| Pubbl/distr/stampa | Paris, : Atlantis, 2014 |
| Descrizione fisica | XV, 148 p. : ill. ; 24 cm |
| Soggetto topico |
68N17 - Logic programming [MSC 2020]
68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] 68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] |
| Soggetto non controllato |
Concurrency theory
Constraint Handling Rules Constraint programming Service oriented computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00104374 |
|
Mauro, Jacopo
|
||
| Paris, : Atlantis, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Scienza dei servizi : un percorso tra metodologie e applicazioni / a cura di Dario Cavenago, Mario Mezzanzanica
| Scienza dei servizi : un percorso tra metodologie e applicazioni / a cura di Dario Cavenago, Mario Mezzanzanica |
| Pubbl/distr/stampa | Milano, : Springer, 2010 |
| Descrizione fisica | XI, 194 p. ; 23 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
91Cxx - Social and behavioral sciences: general topics [MSC 2020] |
| Soggetto non controllato |
Erogazione dei servizi
Management Marketing Progettazione dei servizi Scienza dei servizi Segment Service Science Service oriented computing Valutazione dei servizi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0100412 |
| Milano, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Scienza dei servizi : un percorso tra metodologie e applicazioni / a cura di Dario Cavenago, Mario Mezzanzanica
| Scienza dei servizi : un percorso tra metodologie e applicazioni / a cura di Dario Cavenago, Mario Mezzanzanica |
| Pubbl/distr/stampa | Milano, : Springer, 2010 |
| Descrizione fisica | XI, 194 p. ; 23 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
91Cxx - Social and behavioral sciences: general topics [MSC 2020] |
| Soggetto non controllato |
Erogazione dei servizi
Management Marketing Progettazione dei servizi Scienza dei servizi Segment Service Science Service oriented computing Valutazione dei servizi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00100412 |
| Milano, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||