The stack calculus
2013 Carraro, Alberto; T., Ehrhard; Salibra, Antonino
Minimal lambda-theories by ultraproducts
2013 A., Bucciarelli; Carraro, Alberto; Salibra, Antonino
Il Canto di Armuris: una traduzione come strumento di indagine. Elementi di ‘traduzione metatestuale’, ovvero metatesto per una ‘traduzione totale’
2013 Carpinato, Caterina
Il giallo interiore di Rubens Figueiredo
2008 Castagna, Vanessa
Un approccio interdisciplinare per lo studio dell'immagine di Venezia e del Veneto: travel writing e turismo nordamericano
2013 Francescato, S.; Meneghello, Sabrina
The stone and shell beads of the shell midden settlement of RH-5 (Muscat, Sultanate of Oman)
2013 Alessandra, Pisan; Biagi, Paolo; Giorgio, Gasparotto
El ornitorrinco: el nuevo rey de la selva. Migración, nomadismo y reterritorialización
2012 Regazzoni, Susanna
Esametri nonniani e "mappae mundi"
2012 Pontani, Filippomaria
La Preghiera di Gesù in un anonimo greco del XIX secolo
1998 Rigo, Antonio
L'opera «profetica» di Francesco Barozzi tra Creta e Venezia
1996 Rigo, Antonio
I manoscritti e il testo di quattro Etera kephalaia. Da Simeone il Nuovo Teologo a Gregorio Palamas
2013 Rigo, Antonio
A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes
2012 Marin, Andrea; ROTA BULO', Samuel; Balsamo, Maria Simonetta
New Diketopyrrolopyrrole based Fluorescent Probes: towards Identification of Intracellular Hydroxyl Radical in Living Cells
2013 Borsato, Giuseppe; DE LUCCHI, Ottorino; G., Licini; F., Romano; E., Papini; R., Tavano; Vagnozzi, Ester; C., Zonta
Per una storia dell'insegnamento di lingua e letteratura catalana nell'Università “Ca' Foscari” di Venezia
2012 Rigobon, Patrizio
Context-sensitive decision forests for object detection
2012 P., Kontschieder; ROTA BULO', Samuel; A., Criminisi; P., Kohli; Pelillo, Marcello; H., Bischof
Keep Fit to Fit: The Dynamic Management of Strategic Complementarities in Evolving Alliances
2010 Giovanni Battista, Dagnino; Arabella Mocciaro Li, Destri; Rocco, Elena; Vittorino, Filippas
Coopetition Strategy as a Catalyst for Strategic Innovation
2010 Rocco, Elena; Vittorino, Filippas
Spatial clustering of earthquakes by data depth
2012 Agostinelli, Claudio; Albarea, Andrea; Romanazzi, Mario
Opinion and Factivity Analysis of Italian political discourse
2013 Delmonte, Rodolfo; Daniela, Gifu; Tripodi, Rocco
Local and Interregional Exchanges in the Lower Po Valley (Eight-Ninth Century)
2012 Gelichi, Sauro
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 convegno9571
Data di pubblicazione
- In corso di stampa62
- 2020 - 20261533
- 2010 - 20193255
- 2000 - 20093237
- 1990 - 19991072
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE372
- Springer188
- IEEE Computer Society105
- Institute of Electrical and Elect...104
- Springer Verlag88
- ACM85
- Springer Science and Business Med...63
- -54
- Association for Computing Machinery47
- CLEUP46
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- UMANISTICA DIGITALE9
- E3S WEB OF CONFERENCES7
- INTERNATIONAL CONFERENCE ON PATTE...7
- ABSTRACTS OF PAPERS - AMERICAN CH...6
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- SCIENZA E BENI CULTURALI5
- CHEMICAL ENGINEERING TRANSACTIONS4
- COLLECTIVE DYNAMICS4
- BUILDING SIMULATION CONFERENCE PR...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE242
- CEUR WORKSHOP PROCEEDINGS54
- LECTURE NOTES IN ARTIFICIAL INTEL...44
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
- PROCEEDINGS OF SPIE, THE INTERNAT...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...19
- MATERIALS RESEARCH SOCIETY SYMPOS...16
- QUADERNI DI VENEZIA ARTI14
- COMMUNICATIONS IN COMPUTER AND IN...13
- IEEE VTS ... VEHICULAR TECHNOLOGY...13
Keyword
- Venezia53
- Computer Networks and Communications23
- Computer Science (all)23
- Abstract Interpretation21
- Security21
- Spain21
- Static Analysis21
- anaerobic digestion20
- Giappone20
- Theoretical Computer Science19
Lingua
- eng3839
- ita2161
- fre180
- spa71
- rus51
- ger40
- jpn29
- gre23
- grc12
- pol11
Accesso al fulltext
- no fulltext5012
- reserved2453
- open2027
- embargoed40
- partially open39