CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Serie  EPIC SERIES IN COMPUTING

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 1 a 3 di 3
Titolo Data di pubblicazione Autore(i) File
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 1-gen-2020 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter John; Forets, Marcelo; Freire, Daniel; Immler, Fabian; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 1-gen-2021 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Collins, Pieter; Duggirala, Parasara Sridhar; Forets, Marcelo; Kim, Edward; Linares, Uziel; Sanders, David P.; Schilling, Christian; Wetzlinger, Mark
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 1-gen-2022 Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Collins, Pieter; Duggirala, Parasara; Forets, Marcelo; Kim, Edward; Mitsch, Stefan; Schilling, Christian; Wetzlinger, Mark
Mostrati risultati da 1 a 3 di 3
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