Sfoglia per Titolo
The species per path approach to SearchBased test data generation
2006-01-01 P., Mcminn; M., Harman; D., Binkley; Tonella, Paolo
The Structure of Spatial Localization
1995-01-01 Casati, R.; Varzi, A. C.
The Structure of the EU Mediasphere
2010-01-01 Ilias, Flaounas; Turchi, Marco; Omar, Ali; Nick, Fyson; Tijl De, Bie; Nick, Mosdell; Justin, Lewis; Nello, Cristianini
The structure of thin Lie algebras with characteristic two
2010-01-01 M., Avitabile; Jurman, Giuseppe; S., Mattarei
The SuperB silicon vertex tracker
2011-01-01 F., Forti; C., Avanzini; G., Batignani; S., Bettarini; F., Bosi; G., Calderini; M., Ceccanti; R., Cenci; A., Cervelli; F., Crescioli; M., Dell’Orso; P., Giannetti; M. A., Giorgi; A., Lusiani; S., Gregucci; P., Mammini; G., Marchiori; M., Massa; F., Morsani; N., Neri; E., Paoloni; M., Piendibene; A., Profeti; G., Rizzo; L., Sartori; J., Walsh; E., Yurtsev; M., Manghisoni; V., Re; G., Traversi; M., Bruschi; R., Di Sipio; B., Giacobbe; A., Gabrielli; F., Giorgi; G., Pellegrini; C., Sbarra; N., Semprini; R., Spighi; S., Valentinetti; M., Villa; A., Zoccoli; M., Citterio; V., Liberali; F., Palombo; C., Andreoli; L., Gaioni; E., Pozzati; L., Ratti; V., Speziali; D., Gamba; G., Giraudo; P., Mereu; Dalla Betta, Gian Franco; Soncini, Giovanni; G., Fontana; M., Bomben; L., Bosisio; P., Cristaudo; Giacomini, Gabriele; D., Jugovaz; L., Lanceri; I., Rashevskaya; L., Vitale; G., Venier
The superB silicon vertex tracker
2010-01-01 G., Rizzo; C., Avanzini; G., Batignani; S., Bettarini; F., Bosi; G., Calderini; M., Ceccanti; R., Cenci; A., Cervelli; F., Crescioli; M., Dell'Orso; F., Forti; P., Giannetti; M. A., Giorgi; A., Lusiani; S., Gregucci; P., Mammini; G., Marchiori; M., Massa; F., Morsani; N., Neri; E., Paoloni; M., Piendibene; A., Profeti; L., Sartori; J., Walsh; E., Yurtsev; M., Manghisoni; V., Re; G., Traversi; M., Bruschi; R., Di Sipio; B., Giacobbe; A., Gabrielli; F., Giorgi; G., Pellegrini; C., Sbarra; N., Semprini; R., Spighi; S., Valentinetti; M., Villa; A., Zoccoli; M., Citterio; V., Liberali; F., Palombo; C., Andreoli; L., Gaioni; E., Pozzati; L., Ratti; V., Speziali; D., Gamba; G., Giraudo; P., Mereu; Dalla Betta, Gian Franco; Soncini, Giovanni; G., Fontana; M., Bomben; L., Bosisio; P., Cristaudo; Giacomini, Gabriele; D., Jugovaz; L., Lanceri; Rachevskaia, Irina; L., Vitale; G., Venier
The surface and bulk core lines in crystalline and disordered polycrystalline graphite
2006-01-01 Speranza, Giorgio; Minati, Luca
The Surface Properties of Silica Based Polymer-Detonation Nanodiamond Composites and Their Application as Cell Support Surfaces
2009-01-01 Lilyana, Pramatarova; Ekaterina, Radeva; Emilia, Pecheva; Iacob, Erica; Vanzetti, Lia Emanuela; Natalia, Krasteva; Raina, Dimitrova; Dimitrinka, Fingarova; Todor, Hikov
The synergy of precise and fast abstractions for program verification
2009-01-01 Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich
The Syntactic-Semantic Treebank of Italian: an Overview
2001-01-01 S., Montemagni; F., Barsotti; M., Battista; N., Clazolari; O., Corazzari; A., Lenci; A., Zampolli; F., Fanciulli; M., Massetani; R., Raffaelli; Roberto, Basili; M. T., Pazienza; D., Saracino; F., Zanzotto; Mana, Nadia; Pianesi, Fabio; R., Delmonte
The Temporal Reasoning Tools TimeGraph I-II
1994-01-01 Gerevini, A.; Schubert, L.; Schaeffer, S.
The TextPro tool suite
2008-01-01 Pianta, Emanuele; Girardi, Christian; Zanoli, Roberto
The Texture Resolution Module: a General-Purpose Customizable Anaphora Resolutor
1998-01-01 Not, Elena; Zancanaro, Massimo
The third PASCAL Recognising Textual Entailment Challenge
2006-01-01 Giampiccolo, Danilo; Magnini, Bernardo; Dagan, Ido Kalman; B., Dolan
The Treaties of Rome: Continuity and Discontinuity in SPD’s European Policy
2007-01-01 D'Ottavio, Gabriele
The TRIM Family Protein KAP1 Inhibits HIV-1 Integration
2011-01-01 A., Allouch; C., Di Primio; E., Alpi; M., Lusic; Arosio, Daniele; M., Giacca; A., Cereseto
The TROPOS Analysis Process as Graph Transformation System
2002-01-01 Bresciani, Paolo; Paolo, Giorgini
The Tropos Metamodel and its Use
2005-01-01 Susi, Angelo; Perini, Anna; Mylopoulos, John; P., Giorgini
The Tropos Methodology and Software Development Environment
2010-01-01 Paolo, Giorgini; Mylopoulos, John; Perini, Anna; Susi, Angelo
The Tropos Modeling Language. A User Guide
2002-01-01 Sannicolò, Fabrizio; Perini, Anna; Giunchiglia, Fausto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The species per path approach to SearchBased test data generation | 1-gen-2006 | P., Mcminn; M., Harman; D., Binkley; Tonella, Paolo | |
The Structure of Spatial Localization | 1-gen-1995 | Casati, R.; Varzi, A. C. | |
The Structure of the EU Mediasphere | 1-gen-2010 | Ilias, Flaounas; Turchi, Marco; Omar, Ali; Nick, Fyson; Tijl De, Bie; Nick, Mosdell; Justin, Lewis; Nello, Cristianini | |
The structure of thin Lie algebras with characteristic two | 1-gen-2010 | M., Avitabile; Jurman, Giuseppe; S., Mattarei | |
The SuperB silicon vertex tracker | 1-gen-2011 | F., Forti; C., Avanzini; G., Batignani; S., Bettarini; F., Bosi; G., Calderini; M., Ceccanti; R., Cenci; A., Cervelli; F., Crescioli; M., Dell’Orso; P., Giannetti; M. A., Giorgi; A., Lusiani; S., Gregucci; P., Mammini; G., Marchiori; M., Massa; F., Morsani; N., Neri; E., Paoloni; M., Piendibene; A., Profeti; G., Rizzo; L., Sartori; J., Walsh; E., Yurtsev; M., Manghisoni; V., Re; G., Traversi; M., Bruschi; R., Di Sipio; B., Giacobbe; A., Gabrielli; F., Giorgi; G., Pellegrini; C., Sbarra; N., Semprini; R., Spighi; S., Valentinetti; M., Villa; A., Zoccoli; M., Citterio; V., Liberali; F., Palombo; C., Andreoli; L., Gaioni; E., Pozzati; L., Ratti; V., Speziali; D., Gamba; G., Giraudo; P., Mereu; Dalla Betta, Gian Franco; Soncini, Giovanni; G., Fontana; M., Bomben; L., Bosisio; P., Cristaudo; Giacomini, Gabriele; D., Jugovaz; L., Lanceri; I., Rashevskaya; L., Vitale; G., Venier | |
The superB silicon vertex tracker | 1-gen-2010 | G., Rizzo; C., Avanzini; G., Batignani; S., Bettarini; F., Bosi; G., Calderini; M., Ceccanti; R., Cenci; A., Cervelli; F., Crescioli; M., Dell'Orso; F., Forti; P., Giannetti; M. A., Giorgi; A., Lusiani; S., Gregucci; P., Mammini; G., Marchiori; M., Massa; F., Morsani; N., Neri; E., Paoloni; M., Piendibene; A., Profeti; L., Sartori; J., Walsh; E., Yurtsev; M., Manghisoni; V., Re; G., Traversi; M., Bruschi; R., Di Sipio; B., Giacobbe; A., Gabrielli; F., Giorgi; G., Pellegrini; C., Sbarra; N., Semprini; R., Spighi; S., Valentinetti; M., Villa; A., Zoccoli; M., Citterio; V., Liberali; F., Palombo; C., Andreoli; L., Gaioni; E., Pozzati; L., Ratti; V., Speziali; D., Gamba; G., Giraudo; P., Mereu; Dalla Betta, Gian Franco; Soncini, Giovanni; G., Fontana; M., Bomben; L., Bosisio; P., Cristaudo; Giacomini, Gabriele; D., Jugovaz; L., Lanceri; Rachevskaia, Irina; L., Vitale; G., Venier | |
The surface and bulk core lines in crystalline and disordered polycrystalline graphite | 1-gen-2006 | Speranza, Giorgio; Minati, Luca | |
The Surface Properties of Silica Based Polymer-Detonation Nanodiamond Composites and Their Application as Cell Support Surfaces | 1-gen-2009 | Lilyana, Pramatarova; Ekaterina, Radeva; Emilia, Pecheva; Iacob, Erica; Vanzetti, Lia Emanuela; Natalia, Krasteva; Raina, Dimitrova; Dimitrinka, Fingarova; Todor, Hikov | |
The synergy of precise and fast abstractions for program verification | 1-gen-2009 | Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich | |
The Syntactic-Semantic Treebank of Italian: an Overview | 1-gen-2001 | S., Montemagni; F., Barsotti; M., Battista; N., Clazolari; O., Corazzari; A., Lenci; A., Zampolli; F., Fanciulli; M., Massetani; R., Raffaelli; Roberto, Basili; M. T., Pazienza; D., Saracino; F., Zanzotto; Mana, Nadia; Pianesi, Fabio; R., Delmonte | |
The Temporal Reasoning Tools TimeGraph I-II | 1-gen-1994 | Gerevini, A.; Schubert, L.; Schaeffer, S. | |
The TextPro tool suite | 1-gen-2008 | Pianta, Emanuele; Girardi, Christian; Zanoli, Roberto | |
The Texture Resolution Module: a General-Purpose Customizable Anaphora Resolutor | 1-gen-1998 | Not, Elena; Zancanaro, Massimo | |
The third PASCAL Recognising Textual Entailment Challenge | 1-gen-2006 | Giampiccolo, Danilo; Magnini, Bernardo; Dagan, Ido Kalman; B., Dolan | |
The Treaties of Rome: Continuity and Discontinuity in SPD’s European Policy | 1-gen-2007 | D'Ottavio, Gabriele | |
The TRIM Family Protein KAP1 Inhibits HIV-1 Integration | 1-gen-2011 | A., Allouch; C., Di Primio; E., Alpi; M., Lusic; Arosio, Daniele; M., Giacca; A., Cereseto | |
The TROPOS Analysis Process as Graph Transformation System | 1-gen-2002 | Bresciani, Paolo; Paolo, Giorgini | |
The Tropos Metamodel and its Use | 1-gen-2005 | Susi, Angelo; Perini, Anna; Mylopoulos, John; P., Giorgini | |
The Tropos Methodology and Software Development Environment | 1-gen-2010 | Paolo, Giorgini; Mylopoulos, John; Perini, Anna; Susi, Angelo | |
The Tropos Modeling Language. A User Guide | 1-gen-2002 | Sannicolò, Fabrizio; Perini, Anna; Giunchiglia, Fausto |
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