Gli abitanti del ghetto di Venezia in età moderna: dati e ipotesi
2004 Favero, Giovanni; F., Trivellato
Static Analysis of Authentication
2005 Focardi, Riccardo
Classification of Security Properties (Part II: Network Security)
2004 Focardi, Riccardo; Roberto, Gorrieri; Fabio, Martinelli
Classification of Security Properties (Part I: Information Flow)
2001 Focardi, Riccardo; R., Gorrieri
«Gouverneurs de la Rosée» di Jacques Roumain o della via narrativa al socialismo
1982 Costantini, Alessandro
Characterization of nanoporous Lanthanide-doped YAG powders obtained by propellant synthesis
2004 R., Krsmanovic; Canton, Patrizia; A., Speghini; Bettinelli, M; Polizzi, Stefano
Characterization of nanoporous lanthanide-doped gadolinium gallium garnet powders obtained by propellant synthesis
2005 R., Krsmanovic; Polizzi, Stefano; Canton, Patrizia
Declarative Semantics of Input Consuming Logic Programs
2004 Bossi, Annalisa; Cocco, Nicoletta; S., Etalle; Rossi, Sabina
La libreria del Sansovino a Venezia studi sulle passate opere di manutenzione del paramento lapideo. Indagini chimiche per la caratterizzazione ed individuazione degli interventi di manutenzione
1999 Biscontin, Guido; Zendri, Elisabetta; M., PELLIZON BIRELLI
I mosaici della Basilica di San Marco a Venezia: indagini sui processi di distacco delle tessere dal supporto
2002 Biscontin, Guido; R., Bertoncello; E., Croce; L., Milanese; L., Saragoni; Zendri, Elisabetta
Valutazione del comportamento nel tempo di trattamenti protettivi a base di polimeri acrilici
2000 Zendri, Elisabetta; Biscontin, Guido; M., Battagliarin; G., Longega
Performance Evaluation at the Software Architecture Level
2003 Simeoni, Marta; Balsamo, Maria Simonetta; Bernardo, M.
Graph Transactions as Processes
2006 Baldan, Paolo; A., Corradini; L., Foss; F., Gadducci
Distributed Unfolding of Petri Nets
2006 Baldan, Paolo; S., Haar; B., Koenig
Specifying and Verifying UML Activity Diagrams via Graph Transformation
2005 Baldan, Paolo; A., Corradini; F., Gadducci
Bisimulation Equivalences for Graph Grammars
2002 Baldan, Paolo; A., Corradini; U., Montanari
MuTACLP: A language for temporal reasoning with multiple theories
2002 Baldan, P.; P., Mancarella; Raffaeta', Alessandra; F., Turini
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
2000 Baldan, Paolo; N., Busi; A., Corradini; G. M., Pinna
Compositional Modeling of Reactive Systems Using Open Nets
2001 Baldan, Paolo; A., Corradini; H., Ehrig; R., Heckel
Pre-nets, read arcs and unfolding: a functorial presentation
2002 Baldan, Paolo; R., Bruni; U., Montanari
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
- 3 Contributo in Volume22627
- 2 Contributo su rivista2
- 7 Altra tipologia1
Data di pubblicazione
- In corso di stampa217
- 2020 - 20275517
- 2010 - 20198882
- 2000 - 20095874
- 1990 - 19991616
- 1980 - 1989442
- 1970 - 197978
- 1966 - 19694
Editore
- Springer399
- Marsilio340
- Routledge337
- Edizioni Ca' Foscari327
- Franco Angeli304
- Edizioni Ca’ Foscari - Digital Pu...297
- Brill228
- Mimesis223
- Cafoscarina215
- CEDAM183
Rivista
- LECTURE NOTES IN ECONOMICS AND MA...7
- METHODS IN MOLECULAR BIOLOGY2
- ADVANCES IN INTELLIGENT AND SOFT ...1
- BULLETIN DE LINGUISTIQUE APPLIQUÉ...1
- CAESARODUNUM1
- CALÍOPE1
- COLLOQUIUM1
- CON-TRATTO1
- Educação & Realidade1
- REMOTE SENSING AND DIGITAL IMAGE ...1
Serie
- WORKING PAPER-DEPARTMENT OF ECONO...111
- WORKING PAPER SERIES58
- EURASIATICA30
- SINICA VENETIANA28
- LECTURE NOTES IN COMPUTER SCIENCE27
- BREVIARIA IURIS26
- CLASSICI CONTRO26
- WORKING PAPER SERIES-DEPARTMENT O...26
- SMART INNOVATION, SYSTEMS AND TEC...22
- STUDI E RICERCHE20
Keyword
- Venezia161
- Venice95
- Italia76
- Giappone67
- Cina61
- Italy55
- Swat45
- storia43
- teatro38
- Archeologia37
Lingua
- ita8634
- eng5201
- spa570
- fre484
- ger328
- jpn96
- rus92
- por91
- cat80
- grc46
Accesso al fulltext
- no fulltext8431
- reserved8058
- open5802
- embargoed249
- partially open89
- mixed1