IRIS Institutional Research Information System

Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 7.265 a 7.284 di 19.406
Titolo Data di pubblicazione Autore(i) File
Formal Verification of Requirements using Spin: A Case Study on Web Services 1-gen-2004 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
Formalismi per la definizione della specifiche dei sistemi software e loro applicazione alla costruzione di una libreria per la differenziazione automatica 1-gen-1995 Ordan, Z.
Formalization and validation of a subset of the European Train Control System 1-gen-2010 Angelo, Chiappini; Cimatti, Alessandro; Macchi, Luca; Oscar, Rebollo; Roveri, Marco; Susi, Angelo; Tonetta, Stefano; Berardino, Vittorini
Formalization and Validation of Safety-Critical Requirements 1-gen-2010 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Formalizing and Reasoning about Constraints in Federated Databases 1-gen-1997 Serafini, Luciano; Ghidini, Chiara
Formalizing Belief Reports -- The Approach and a Case Study 1-gen-1998 Massimo, Benerecetti; Bouquet, Paolo; Ghidini, Chiara
Formalizing Complex Reasoning 1-gen-1999 Traverso, Paolo
Formalizing requirements with object models and temporal constraints 1-gen-2011 Cimatti, Alessandro; Susi, Angelo; Tonetta, Stefano; Roveri, Marco
Formalizzazione ontologica di terminologie e sistemi di classificazione in ambito biomedico: il caso ICPC2-ICD10 1-gen-2013 Cardillo, Elena
Formation of Al nitride films by laser ablation: influence of growth conditions 1-gen-2000 A., Basillais; C., Boulmer Leborgne; J., Mathias; Bensaada Laidani, Nadhira; A., Laurent; J., Perrière
Formation of arsenic rich silicon oxide under plasma immersion ion implantation and laser annealing 1-gen-2012 Meirer, Florian; Demenev, Evgeny; Giubertoni, Damiano; Gennaro, Salvatore; Vanzetti, Lia Emanuela; Pepponi, Giancarlo; Bersani, Massimo; M. A., Sahiner; G., Steinhauser; M. A., Foad; J. C., Woicik; A., Mehta; P., Pianetta
Formation of arsenolite crystals at room temperature after very high dose arsenic implantation in silicon 1-gen-2012 Meirer, Florian; Giubertoni, Damiano; Demenev, Evgeny; Vanzetti, Lia Emanuela; Gennaro, Salvatore; Fedrizzi, Michele; Pepponi, Giancarlo; A., Mehta; P., Pianetta; G., Steinhauser; V., Vishwanath; M., Foad; Bersani, Massimo
Formation of BN by nitrogen ion implantation of boron deposits 1-gen-1984 L., Guzman; F., Marchetti; Calliari, Lucia; I., Scotoni; F., Ferrari
Formation of counter doped shallow junctions by boron and antimony implantation and codiffusion in silicon 1-gen-1997 Solmi, S.; Canteri, R.
Formation of Mach angle profiles during wet etching of silica and silicon nitride materials 1-gen-2015 Ghulinyan, Mher; Bernard, M.; Bartali, Ruben; Pucker, Georg
Formation of optimal-order necklace modes in one-dimensional random photonic superlattices 1-gen-2007 Ghulinyan, Mher
Formation of vanadium silicide by high dose ion implantation 1-gen-1987 V., Salvi; Arun, Narsale; S., Vidwans; A., Rangwala; Luis, Guzman; Dapor, Maurizio; Giuseppe, Giunta; Calliari, Lucia; Fabio, Marchetti
Formative Evaluation of a Constrained Composition Approach for Storytelling 1-gen-2014 Mencarini, Eleonora; Schiavo, Gianluca; Cappelletti, Alessandro; Stock, Oliviero; Zancanaro, Massimo
Formative Evaluation of Tabletop Display Meant to Orient Casual Conversation 1-gen-2009 Stock, Oliviero; Zancanaro, Massimo; Pianesi, Fabio; Tomasini, Daniel; C., Rocchi
La formazione culturale dei gesuiti e il mondo delle missioni 1-gen-2014 Catto, Michela
Mostrati risultati da 7.265 a 7.284 di 19.406
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