IRIS

Sfoglia per Afferenza Dipartimento di Ingegneria e scienze dell'informazione e matematica

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 5.495 a 5.514 di 7.395
Titolo Data di pubblicazione Autore(i) File
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2020) - LNCS 1-gen-2020 Autili, M.; Ciccozzi, F.; Gallo, F.; Sirjani, M.
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) 1-gen-2016 Autili, Marco; Bersani, Marcello; Bresolin, Davide; Ferrucci, Luca; Garcia-Valls, Marisol; Mazzara, Manuel; Tivoli, Massimo
Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015) 1-gen-2015 Autili, Marco; Goldman, A; Tivoli, Massimo
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015) 1-gen-2015 Autili, Marco; Ritter, T; Sadovykh, A; Tivoli, Massimo
Proceedings of the Second Workshop on MIning DAta for financial applicationS (MIDAS '17), co-located with the 2017 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery (ECML-PKDD '17) 1-gen-2017 Bordino, I; Caldarelli, G; Fumarola, F; Gullo, F; Squartini, T
Process Mining Manifesto 1-gen-2012 der Aalst Wil, Van; Arya, Adriansyah; Medeiros AnaKarlaAlves, De; Franco, Arcieri; Thomas, Baier; Tobias, Blickle; Jagadeeshch, Bose; Ra, ; den Br, Van; Peter, ; Br, ; Ronald, Tjen; Joos, Buijs; Burattin, ; Rea, ; Josep, Carmona; Malu, Castellanos; Jan, Claes; Jonathan, Cook; Nicola, Costantini; Francisco, Curbera; Ernesto, Damiani; Leoni Massimiliano, De; Pavlos, Delias; Boudewijnf., van Dongen; Marlon, Dumas; Schahram, Dustdar; Fahl, ; Dirk, ; Diogor., Ferreira; Walid, Gaaloul; Geffen Frank, Van; Sukriti, Goel; Christian, Günther; Antonella, Guzzo; Paul, Harmon; Hofstede Arthur, Ter; Hoogl, ; John, ; Jonespen, Ingvaldsen; Koki, Kato; Rudolf, Kuhn; Akhil, Kumar; Rosa Marcello, La; Fabrizio, Maggi; Donato, Malerba; Ronnys., Mans; Alberto, Manuel; Martin, Mccreesh; Paola, Mello; Jan, Mendling; Marco, Montali; Hamidr., Motahari-Nezhad; Muehlen Michael, Zur; Jorge, Munoz-Gama; Luigi, Pontieri; Joel, Ribeiro; Anne, Rozinat; Pérez Hugo, Seguel; Pérez Ricardo, Seguel; Marcos, Sepúlveda; Jim, Sinur; Pnina, Soffer; Minseok, Song; Aless, Sperduti; Ro, ; Stilo, Giovanni; Casper, Stoel; Keith, Swenson; Maurizio, Talamo; Wei, Tan; Chris, Turner; Jan, Vanthienen; George, Varvaressos; Eric, Verbeek; Marc, Verdonk; Roberto, Vigo; Jianmin, Wang; Barbara, Weber; Matthias, Weidlich; Ton, Weijters; Lijie, Wen; Michael, Westergaard; Moe, Wynn
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems 1-gen-2023 Intrigila, Benedetto; Della Penna, Giuseppe; D’Ambrogio, Andrea; Campagna, Dario; Grigore, Malina
Processi di Bernstein e meccanica quantistica 1-gen-1991 Serva, Maurizio
Producing software by integration: challenges and research directions (keynote) 1-gen-2013 Inverardi, Paola; Autili, Marco; DI RUSCIO, Davide; Pelliccione, Patrizio; Tivoli, Massimo
Product Lines, Energy Conservation, Use Cases, Agile Development, and Infotainment 1-gen-2016 Carver, Jeffrey C.; De Almeida, Eduardo Santana; Capilla, Rafael; Minku, Leandro L.; Muccini, Henry; Penzenstadler, Birgit
Production Scheduling Optimization in a Melt Shop 1-gen-2014 D., Gajic; L., Onofri; I., Harjunkoski; I., Grossmann; Z., Djurovic; DI GENNARO, Stefano
Products of random matrices for disordered systems 1-gen-1994 Crisanti, A; Paladin, G; Serva, Maurizio; Vulpiani, A.
Profinite groups with finite virtual length 1-gen-2013 Gavioli, Norberto; Monti, V; Scoppola, CARLO MARIA
Progettazione di dispositivi per il raffrescamento passivo nei contesti storici di alto valore architettonico 1-gen-2016 DE BERARDINIS, Pierluigi; Laurini, Eleonora; Celi, Alessandro; Gentile S, Taballione A.
Progettazione di un risonatore MEMS FBAR con il metodo degli elementi finiti 1-gen-2007 Buccella, Concettina; DE SANTIS, Valerio; Feliziani, Mauro; Tognolatti, Piero
Progettazione e implementazione del controllo di SSBC convertitore multilivello per compensatore sincrono statico 3-mag-2021 Saif, AHMED MAJED AHMED
Progettazione e Implementazione su FPGA Riconfigurabile di Processori Digitali Trasparenti Satellitari 18-mag-2020 Marini, Giuseppe
PROGRAMMABLE ADC WITH NON LINEAR CHARACTERISTIC FOR SMART SENSOR APPLICATIONS 1-gen-1999 M., Dantonio; Bucci, Giovanni; Faccio, Marco; C., Landi
A programming model for adaptable Java applications 1-gen-2010 Autili, Marco; Di Benedetto, Paolo; Inverardi, Paola
Projected solutions for finite-dimensional quasiequilibrium problems 1-gen-2023 Castellani, M.; Giuli, M.; Latini, S.
Mostrati risultati da 5.495 a 5.514 di 7.395
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