Sfoglia per Rivista ACM COMPUTING SURVEYS
Mostrati risultati da 1 a 4 di 4
A uniform definition of stochastic process calculi
2013 Rocco De Nicola; Diego Lagella; Michele Loreti; Mieke Massink
Concurrency: Theory and Practice.
1996 R. DE NICOLA; SMOLKA S.A.
Socializing the semantic gap: A comparative survey on image tag assignment, refinement, and retrieval
2016 Li, Xirong; Uricchio, Tiberio; Ballan, Lamberto; Bertini, Marco; Snoek, Cees G.M.; Del Bimbo, Alberto
Temporal Logics for Real-Time System Specification
2000 P. BELLINI; R.MATTOLINI; P. NESI
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A uniform definition of stochastic process calculi | 2013 | Rocco De Nicola; Diego Lagella; Michele Loreti; Mieke Massink | |
Concurrency: Theory and Practice. | 1996 | R. DE NICOLA; SMOLKA S.A. | |
Socializing the semantic gap: A comparative survey on image tag assignment, refinement, and retrieval | 2016 | Li, Xirong; Uricchio, Tiberio; Ballan, Lamberto; Bertini, Marco; Snoek, Cees G.M.; Del Bimbo, Alberto | |
Temporal Logics for Real-Time System Specification | 2000 | P. BELLINI; R.MATTOLINI; P. NESI |
Mostrati risultati da 1 a 4 di 4
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