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 15.075 a 15.094 di 19.118
Titolo Data di pubblicazione Autore(i) File
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Satisfiability checking and symbolic computation 1-gen-2016 Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.
Satisfiability for Propositional Contexts 1-gen-2004 Serafini, Luciano; Roelofsen, Floris
Satisfiability for Propositional Contexts 1-gen-2004 Serafini, Luciano; Roelofsen, Floris
Satisfiability Modulo the Theory of Costs: Foundations and Applications 1-gen-2010 Cimatti, Alessandro; Anders, Franzén; Griggio, Alberto; Sebastiani, Roberto; Cristian, Stenico
Satisfiability Modulo Transcendental Functions via Incremental Linearization 1-gen-2017 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Satisfiability solving for software verification 1-gen-2009 D., Deharbe; Ranise, Silvio
Satisfiability solving for software verification 1-gen-2009 D., Déharbe; Ranise, Silvio
Satisfying User Needs at the Right Time and in the Right Place: A Research Preview 1-gen-2011 Qureshi, Nauman Ahmed; Norbert, Seyff; Perini, Anna
SATMC: a SAT-based Model Checker for Security Protocols 1-gen-2004 Armando, Alessandro; Compagna, L.
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs 1-gen-2016 Armando, Alessandro; Carbone, Roberto; Compagna, Luca
SATMC: a SAT-based Model Checker for Security-critical Systems 1-gen-2014 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Saturation effects in SIDIS at very forward rapidities 1-gen-2021 Iancu, E.; Mueller, A. H.; Triantafyllopoulos, D.; Wei, S.
SAX: Generating Hypertext from SADT Models 1-gen-1997 Nicola, Cancedda; Gjertrud, Kamstrup; Pianta, Emanuele; Ettore, Pietrosanti
SAX: Manuale d'uso del prototipo esteso 1-gen-1997 Pianta, Emanuele; G., Kamstrup
SAX: Specifiche del prototipo esteso 1-gen-1997 Pianta, Emanuele; G., Kamstrup
SBFR: A Search-Based Approach for Reproducing Failures of Programs with Grammar Based Input 1-gen-2013 Kifetew, Fitsum Meshesha; Wei, Jin; Tiella, Roberto; Alessandro, Orso; Tonella, Paolo
Sbornie sacre, sbornie profane. L'ubriachezza dal Vecchio al Nuovo Mondo 1-gen-2018 Ferlan, Claudio
SC^2: Satisfiability Checking Meets Symbolic Computation 1-gen-2016 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control 1-gen-2014 Ranise, Silvio; Truong, Tuan Anh; Armando, Alessandro
Mostrati risultati da 15.075 a 15.094 di 19.118
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