RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015)
2015-01-01 Autili, Marco; Ritter, T; Sadovykh, A; Tivoli, Massimo
Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023
2024-01-01 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Thematic Series on Automated and Verifiable Internet Services and Applications Development
2022-01-01 Autili, Marco; Arbab, Farhad; Ciccozzi, Federico; Giannakopoulou, Dimitra; Poizat, Pascal; Tivoli, Massimo
Thematic Series on Service Composition for the Future Internet
2016-01-01 Autili, Marco; Tivoli, Massimo; Goldman, Alfredo
Thematic series on Verification and Composition for the Internet of Services and Things
2018-01-01 Autili, Marco; Giannakopoulou, Dimitra; Tivoli, Massimo
Third International Workshop for Coordination and Adaptation Techniques for Software Entities
2007-01-01 Becker, S; Canal, C; Diakov, N; Murillo, J. M.; Poizat, P; Tivoli, Massimo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 7 Curatele 16
- 7 Curatele::7.1 Curatela 16
Data di pubblicazione
- 2020 - 2024 2
- 2010 - 2019 12
- 2007 - 2009 2
Editore
- Elsevier 2
- Springer 2
- ACM 1
- ACM Digital Library 1
- IEEE Computer Society Conference ... 1
- Institute of Electrical and Elect... 1
- Open Publishing Association 1
- Springer Verlag 1
- Springer-Verlag Berlin Heidelberg 1
Rivista
- ELECTRONIC NOTES IN THEORETICAL C... 2
- JOURNAL OF INTERNET SERVICES AND ... 2
- ELECTRONIC PROCEEDINGS IN THEORET... 1
- JOURNAL OF INTERNET SERVICES AND ... 1
- SOFTWARE AND SYSTEMS MODELING 1
- SOFTWARE ENGINEERING NOTES 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 2
- CEUR WORKSHOP PROCEEDINGS 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- Computer Networks and Communications 2
- Computer Science Applications1707... 2
- Software 2
- Modeling and Simulation 1
Lingua
- eng 10
Accesso al fulltext
- no fulltext 16