Sfoglia per Titolo
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
2005-01-01 Armando, Alessandro; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Drielsma, P. H.; Heam, P.; Kouchnarenko, O.; Mantovani, J.; Moedersheim, S.; VON OHEIMB, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Vigano', L.; Vigneron, L.
The AVISS Security Protocol Analysis Tool
2002-01-01 Armando, Alessandro; Basin, D.; Boullagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Viganò, L.; Vigneron, L.
The BEC–BCS crossover in ultracold Fermi gases beyond the contact-potential approximation
2013-01-01 Garberoglio, Giovanni; Taioli, Simone; S., Simonucci
The Berkeley Parser at the EVALITA 2009 Constituency Parsing Task
2009-01-01 Lavelli, Alberto; A., Corazza
The Berkeley Parser at the EVALITA 2011 Constituency Parsing Task
2012-01-01 Lavelli, Alberto
The bi-polarity of 'any'
1998-01-01 Tovena, L.; Jayez, J.
The C1s core line in irradiated graphite
2007-01-01 Speranza, Giorgio; Minati, Luca; Anderle, Mariano
The Cell method for the solution of a 3D nonlinear magnetostatic
2002-01-01 Serra, Enrico; F., Trevisan
The Censorship and Fortuna of Platina's "Lives of the Popes" in the Sixteenth Century
2006-01-01 Bauer, Stefan
The Challenge of Integrating Knowledge Representation and Databases
1996-01-01 Bresciani, Paolo
The CHIL audiovisual corpus for lecture and meeting analysis inside smart rooms
2007-01-01 D., Mostefa; N., Moreau; K., Choukri; G., Potamianos; S., Chu; A., Tyagi; J., Casas; J., Turmo; Cristoforetti, Luca; Tobia, Francesco; A., Pnevmatikakis; V., Mylonakis; F., Talantzis; S., Burger; R., Stiefelhagen; K., Bernardin; C., Rochet
The Classical field created in early stages of high energy nucleus-nucleus collisions
2009-01-01 Blaizot, Jean-Paul; Yacine Mehtar, Tani
The Clausal Architecture in Minimalist Framework
1995-01-01 Pianesi, Fabio
The Collaborative Workspace: A Co-located Tabletop Device to Support Meetings
2009-01-01 Leonardi, Chiara; Pianesi, Fabio; Tomasini, Daniel; Zancanaro, Massimo
The collective perception of occupational inequalities in contemporary Italy
1987-01-01 H., Schadee; Schizzerotto, Antonio
The Color of Emotions in Texts
2010-01-01 Strapparava, Carlo; Özbal, Gözde
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
2009-01-01 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco
The COMPASS Server: a modified version of tclhttpd2.1.3
2000-01-01 Mich, Ornella
The Constrainedness of Search
1996-01-01 Gent, I.; Macintyre, E.; Prosser, P.; Walsh, T.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications | 1-gen-2005 | Armando, Alessandro; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Drielsma, P. H.; Heam, P.; Kouchnarenko, O.; Mantovani, J.; Moedersheim, S.; VON OHEIMB, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Vigano', L.; Vigneron, L. | |
The AVISS Security Protocol Analysis Tool | 1-gen-2002 | Armando, Alessandro; Basin, D.; Boullagui, M.; Chevalier, Y.; Compagna, L.; Moedersheim, S.; Rusinowitch, M.; Turuani, M.; Viganò, L.; Vigneron, L. | |
The BEC–BCS crossover in ultracold Fermi gases beyond the contact-potential approximation | 1-gen-2013 | Garberoglio, Giovanni; Taioli, Simone; S., Simonucci | |
The Berkeley Parser at the EVALITA 2009 Constituency Parsing Task | 1-gen-2009 | Lavelli, Alberto; A., Corazza | |
The Berkeley Parser at the EVALITA 2011 Constituency Parsing Task | 1-gen-2012 | Lavelli, Alberto | |
The bi-polarity of 'any' | 1-gen-1998 | Tovena, L.; Jayez, J. | |
The C1s core line in irradiated graphite | 1-gen-2007 | Speranza, Giorgio; Minati, Luca; Anderle, Mariano | |
The Cell method for the solution of a 3D nonlinear magnetostatic | 1-gen-2002 | Serra, Enrico; F., Trevisan | |
The Censorship and Fortuna of Platina's "Lives of the Popes" in the Sixteenth Century | 1-gen-2006 | Bauer, Stefan | |
The Challenge of Integrating Knowledge Representation and Databases | 1-gen-1996 | Bresciani, Paolo | |
The CHIL audiovisual corpus for lecture and meeting analysis inside smart rooms | 1-gen-2007 | D., Mostefa; N., Moreau; K., Choukri; G., Potamianos; S., Chu; A., Tyagi; J., Casas; J., Turmo; Cristoforetti, Luca; Tobia, Francesco; A., Pnevmatikakis; V., Mylonakis; F., Talantzis; S., Burger; R., Stiefelhagen; K., Bernardin; C., Rochet | |
The Classical field created in early stages of high energy nucleus-nucleus collisions | 1-gen-2009 | Blaizot, Jean-Paul; Yacine Mehtar, Tani | |
The Clausal Architecture in Minimalist Framework | 1-gen-1995 | Pianesi, Fabio | |
The Collaborative Workspace: A Co-located Tabletop Device to Support Meetings | 1-gen-2009 | Leonardi, Chiara; Pianesi, Fabio; Tomasini, Daniel; Zancanaro, Massimo | |
The collective perception of occupational inequalities in contemporary Italy | 1-gen-1987 | H., Schadee; Schizzerotto, Antonio | |
The Color of Emotions in Texts | 1-gen-2010 | Strapparava, Carlo; Özbal, Gözde | |
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems | 1-gen-2009 | Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco | |
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems | 1-gen-2009 | Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco | |
The COMPASS Server: a modified version of tclhttpd2.1.3 | 1-gen-2000 | Mich, Ornella | |
The Constrainedness of Search | 1-gen-1996 | Gent, I.; Macintyre, E.; Prosser, P.; Walsh, T. |
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