IRIS

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 4.844 a 4.863 di 5.464
Titolo Data di pubblicazione Autore(i) File
Switching systems with dwell time: Computing the maximal Lyapunov exponent 1-gen-2021 Chitour, Yacine; Guglielmi, Nicola; Protasov, Vladimir Yu.; Sigalotti, Mario
A symbolic framework for multi-faceted security protocol analysis 1-gen-2008 Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, E
Symbolic performance adaptation 1-gen-2016 Incerto, E; Tribastone, M; Trubiani, C
Symplectic quantization I: dynamics of quantum fluctuations in a relativistic field theory 1-gen-2021 Gradenigo, G.; Livi, R.
Symplectic Quantization II: Dynamics of Space–Time Quantum Fluctuations and the Cosmological Constant 1-gen-2021 Gradenigo, Giacomo
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 1-gen-2005 Ferrari, Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, E
Synchronized Hyperedge Replacement for Heterogeneous Systems 1-gen-2005 Lanese, Ivan; Tuosto, E
Synergies of THESEUS with the large facilities of the 2030s and guest observer opportunities 1-gen-2021 Rosati, P.; Basa, S.; Blain, A. W.; Bozzo, E.; Branchesi, M.; Christensen, L.; Ferrara, A.; Gomboc, A.; O'Brien, P. T.; Osborne, J. P.; Rossi, A.; Sch(, ; Spurio, M.; Stergioulas, N.; Stratta, G.; Amati, L.; Casewell, S.; Ciolfi, R.; Ghirl, ; A, G.; Grimm, S.; Guetta, D.; Harms, J.; Le Floc'h, E.; Longo, F.; Maggiore, M.; Mereghetti, S.; Oganesyan, G.; Salvaterra, R.; Tanvir, N. R.; Turriziani, S.; Vergani, S. D.; Balman, S.; Caruana, J.; Erkut, M. H.; Guidorzi, G.; Frontera, F.; Martin-Carrillo, A.; Paltani, S.; Porquet, D.; Sergijenko, O.
Synthesis of concurrent and distributed adaptors for component-based systems 1-gen-2006 Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo
Synthesis of decentralized adaptors for concurrent and distributed component-based systems 1-gen-2006 Autili, Marco; Flammini, Michele; Navarra, A; Inverardi, Paola; Tivoli, Massimo
Synthesising Choreographies from Local Session Types 1-gen-2012 Lange, Julien; Tuosto, E
Synthesizing adapters for conversational web-services from their WSDL interface 1-gen-2010 Pelliccione, Patrizio; Tivoli, Massimo; Cavallaro, L; DI NITTO, E; Pradella, M.
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 1-gen-2019 De Nicola, R; Duong, T; Inverso, O; Mazzanti, F
A Systematic Literature Review on prioritizing software test cases using Markov chains 1-gen-2022 Barbosa, Gerson; de Souza, Érica Ferreira; dos Santos, Luciana Brasil Rebelo; da Silva, Marlon; Balera, Juliana Marino; Vijaykumar, Nandamudi Lankalapalli
Systematic Recovery of MDE Technology Usage 1-gen-2018 Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso
Systematic study of the features of the streamer discharge by means of pulse shape analysis 1-gen-1997 DE MITRI, Ivan
Systems Engineering approach for the concept design of the Crystal Eye detector 1-gen-2020 Renno, F.; Barbato, F.; Barbarino, G.; Marzullo, D.; Guida, R.; Papa, S.
Systolic Acyclic Orientations for Deadlock Prevention 1-gen-1995 DI IANNI, M; Flammini, M; Flammini, R; Salomone, S
T. Naito (ed.) [2016] Sustainable Growth and Development in a Regional Economy 1-gen-2019 Modica, M
The takeover selection decisions of Multinational Enterprises: Empirical evidence from European target firms 1-gen-2018 Ascani, A
Mostrati risultati da 4.844 a 4.863 di 5.464
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