Sfoglia per Titolo
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis
1997-01-01 Nesi, Monica
Formalismo e credito al consumo
2010-01-01 BERTI DE MARINIS, Giovanni Maria
Formalization and Verification of Security Protocols by Rewriting
2005-01-01 Nesi, Monica; Nocera, G.
Formalization of Topological Knowledge in Spatial Query Languages
1993-01-01 Clementini, Eliseo; DI FELICE, P; VAN OOSTEROM, P.
Formalizing a Modal Logic for CCS in the HOL Theorem Prover
1993-01-01 Nesi, Monica
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting
2005-01-01 Nesi, Monica; Rucci, G.
Formare il popolo e i giovani attraverso la gioia. Colonie e campi di vacanza durante i regimi totalitari del XX secolo
2020-01-01 Montuori, Patrizia
Formare in Europa. Sviluppo di un modello pedagogico-didattico per interpretare l’europrogettazione
2006-01-01 Isidori, MARIA VITTORIA
The format of mental imagery: from a critical review to an integrated embodied representation approach
2019-01-01 Palmiero, M.; Piccardi, L.; Giancola, Marco; Nori, R.; D'Amico, S.; Belardinelli Olivetti, M.
Formati di parola inediti: dati emersi dal dizionario CombiNet
2017-01-01 Cominetti, Federica; Piunno, Valentina
Formati ridotti. La temporalità narrative nelle webserie. In: (a cura di): Fabio Cleto, Francesca Pasquali, Tempo di serie. La temporalità nella narrazione seriale
2018-01-01 Lino, Mirko
Formation and growth of palladium nanoparticles inside porous poly(4-vinyl-pyridine) monitored by operando techniques: The role of different reducing agents
2017-01-01 Lazzarini, A.; Groppo, E.; Agostini, G.; Borfecchia, E.; Giannici, F.; Portale, G.; Longo, A.; Pellegrini, R.; Lamberti, C.
Formation and Growth of PSCs in a 2D Model: Effects on the Secular Ozone Trend
1992-01-01 Pitari, Giovanni; Rizi, Vincenzo; Verdecchia, Marco
Formation and Observation of a Quasi-Two-Dimensional dxy Electron Liquid in Epitaxially Stabilized Sr2−xLaxTiO4 Thin Films
2015-01-01 Y. F., Nie; D., Di Sante; S., Chatterjee; P. D. C., King; M., Uchida; Ciuchi, Sergio; D. G., Schlom; K. M., Shen
Formation of a two-dimensional oxide via oxidation of a layered material
2022-01-01 Camilli, L.; Capista, D.; Tomellini, M.; Sun, J.; Zeller, P.; Amati, M.; Gregoratti, L.; Lozzi, L.; Passacantando, M.
Formation of carbon nanotubes by plasma enhanced chemical vapor deposition: Role of nitrogen and catalyst layer thickness
2002-01-01 Valentini, L; Kenny, Jm; Lozzi, Luca; Santucci, Sandro
Formation of extended thermal etch pits on annealed Ge wafers
2018-01-01 Persichetti, L.; Fanfoni, M; De Seta, M.; Di Gaspare, L.; Ottaviano, L.; Goletti, C.; Sgarlata, A.
Formation of new chromatin domains determines pathogenicity of genomic duplications
2016-01-01 Franke, Martin; Ibrahim, Daniel M.; Andrey, Guillaume; Schwarzer, Wibke; Heinrich, Verena; Schöpflin, Robert; Kraft, Katerina; Kempfer, Rieke; Jerković, Ivana; Chan, Wing Lee; Spielmann, Malte; Timmermann, Bernd; Wittler, Lars; Kurth, Ingo; Cambiaso, Paola; Zuffardi, Orsetta; Houge, Gunnar; Lambie, Lindsay; Brancati, Francesco; Pombo, Ana; Vingron, Martin; Spitz, Francois; Mundlos, Stefan
Formation of Polar Stratospheric Clouds Simulated in a Two-Dimensional Model of the Atmosphere
1988-01-01 Visconti, G; Pitari, Giovanni
Formation of quark phases in compact stars and SN explosion
2008-01-01 Drago, A; Pagliara, G; Pagliaroli, G; Villante, FRANCESCO LORENZO; Vissani, F.
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