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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Collected Economics Articles of Harold Hotelling / Edited by and with an Introduction by Adrian C. Darnell
| The Collected Economics Articles of Harold Hotelling / Edited by and with an Introduction by Adrian C. Darnell |
| Autore | Hotelling, Harold |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1990 |
| Descrizione fisica | 178 p. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] |
| Soggetto non controllato |
Functions
Import Production Revision Service oriented computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287803 |
Hotelling, Harold
|
||
| New York, : Springer-Verlag, 1990 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The SPSS Guide to the New Statistical Analysis of Data, by T. W. Anderson and Jeremy D. Finn / Susan B. Gerber, Kristin E. Voelkl
| The SPSS Guide to the New Statistical Analysis of Data, by T. W. Anderson and Jeremy D. Finn / Susan B. Gerber, Kristin E. Voelkl |
| Autore | Gerber, Susan B. |
| Pubbl/distr/stampa | New York, : Springer, 1997 |
| Descrizione fisica | xii, 203 p. ; 24 cm |
| Altri autori (Persone) | Voelkl, Kristin E. |
| Soggetto topico |
62-XX - Statistics [MSC 2020]
62Pxx - Applications of statistics [MSC 2020] |
| Soggetto non controllato |
Analysis of variance
Correlations Data analysis Descriptive Statistics Median Normal distributions Organization Probability distributions Regression analysis Service oriented computing Standard deviation Statistics Variance |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297938 |
Gerber, Susan B.
|
||
| New York, : Springer, 1997 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||