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 | ||
| ||
Constraints meet concurrency / Jacopo Mauro
| Constraints meet concurrency / Jacopo Mauro |
| Autore | Mauro, Jacopo |
| Edizione | [Paris : Atlantis, 2014] |
| Pubbl/distr/stampa | XV, 148 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| 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] |
| ISBN | 8-94-6239-066-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0104374 |
|
Mauro, Jacopo
|
||
| XV, 148 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||