Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.081 a 1.084 di 1.084
Abstractions for Collective Adaptive Systems
2020-01-01 Inverso, Omar; Trubiani, Catia; Tuosto, Emilio
Debugging Distributed Systems with Causal Nets
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Heuristic Methods for Security Protocols
2009-01-01 Nizamani, Ain; Tuosto, E
Corinne, a Tool for Choreography Automata
2021-01-01 Orlando, Simone; Pasquale, Vairo Di; Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Abstractions for Collective Adaptive Systems | 1-gen-2020 | Inverso, Omar; Trubiani, Catia; Tuosto, Emilio | |
Debugging Distributed Systems with Causal Nets | 1-gen-2008 | Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
Heuristic Methods for Security Protocols | 1-gen-2009 | Nizamani, Ain; Tuosto, E | |
Corinne, a Tool for Choreography Automata | 1-gen-2021 | Orlando, Simone; Pasquale, Vairo Di; Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.081 a 1.084 di 1.084
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1084
Data di pubblicazione
- 2020 - 2024235
- 2010 - 2019590
- 2000 - 2009213
- 1990 - 199941
- 1982 - 19895
Editore
- Springer82
- IEEE Computer Society38
- IEEE31
- Institute of Electrical and Elect...22
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag14
- CEUR-WS12
- Springer International Publishing11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS13
- POS PROCEEDINGS OF SCIENCE13
- ELECTRONIC PROCEEDINGS IN THEORET...7
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...26
- LECTURE NOTES IN COMPUTER SCIENCE17
- LEIBNIZ INTERNATIONAL PROCEEDINGS...14
- AIP CONFERENCE PROCEEDINGS7
- ADVANCES IN NEURAL INFORMATION PR...3
- PROCEEDINGS OF SPIE, THE INTERNAT...3
- FRONTIERS IN ARTIFICIAL INTELLIGE...2
- LECTURE NOTES IN COMPUTER SCIENCE2
- NUCLEAR PHYSICS B - PROCEEDINGS S...2
- PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory6
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng650
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext922
- reserved96
- open63
- partially open3