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.
ASAS'11 : proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, September 4, 2011, Szeged, Hungary
| ASAS'11 : proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, September 4, 2011, Szeged, Hungary |
| Autore | Cámara Javier |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (44 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Assurances for Self-Adaptive Systems'11
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems ESEC/FSE'11 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Szeged, Hungary - September 05 - 09, 2011 |
| Record Nr. | UNINA-9910376527203321 |
Cámara Javier
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Sung-Shik Jongmans, Antónia Lopes
| Coordination Models and Languages [[electronic resource] ] : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Sung-Shik Jongmans, Antónia Lopes |
| Autore | Jongmans Sung-Shik |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (296 pages) |
| Disciplina | 005.27 |
| Altri autori (Persone) | LopesAntónia |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 3-031-35361-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Collective Adaptive Systems and Aggregate Computing -- Cyber-Physical Systems -- Verification and Testing -- Languages and Processes -- Run-Time Changes. |
| Record Nr. | UNISA-996538666403316 |
|
Jongmans Sung-Shik
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Sung-Shik Jongmans, Antónia Lopes
| Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Sung-Shik Jongmans, Antónia Lopes |
| Autore | Jongmans Sung-Shik |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (296 pages) |
| Disciplina | 005.27 |
| Altri autori (Persone) | LopesAntónia |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 3-031-35361-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Collective Adaptive Systems and Aggregate Computing -- Cyber-Physical Systems -- Verification and Testing -- Languages and Processes -- Run-Time Changes. |
| Record Nr. | UNINA-9910731489803321 |
|
Jongmans Sung-Shik
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Architecture [[electronic resource] ] : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos
| Software Architecture [[electronic resource] ] : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 217 p. 50 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Programming languages (Electronic computers) Computers Software Engineering Computer Systems Organization and Communication Networks Programming Languages, Compilers, Interpreters Computing Milieux |
| ISBN | 3-319-65831-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Architecture Analysis and Verification -- Software Architecture Evolution -- Automatic Generation -- Architectural Decisions -- Software Architecture Practice. |
| Record Nr. | UNISA-996466169003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos
| Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 217 p. 50 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Compilers (Computer programs) Computers Software Engineering Computer Engineering and Networks Compilers and Interpreters Computing Milieux |
| ISBN | 3-319-65831-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Architecture Analysis and Verification -- Software Architecture Evolution -- Automatic Generation -- Architectural Decisions -- Software Architecture Practice. |
| Record Nr. | UNINA-9910483311803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||