Sfoglia per Serie  

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 8 di 8
Titolo Data di pubblicazione Autore(i) File
A calculus of cyber-physical systems 1-gen-2017 Lanotte, Ruggero; Merro, Massimo
Can my test case run on your test plant? A logic-based compliance check and its evaluation on real data 1-gen-2017 Briola, D; Mascardi, V
Perceptron connectives in knowledge representation 1-gen-2020 Galliani, P; Righetti, G; Kutz, O; Porello, D; Troquard, N
Privacy-preserving distributed support vector machines 1-gen-2021 Bottoni, S.; Braghin, S.; Brisimi, T.; Trombetta, A.
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study 1-gen-2010 Colombo, Pietro; Ferhat, Khendek; Lavazza, LUIGI ANTONIO
A semantic theory of the internet of things (Extended abstract) 1-gen-2016 Lanotte, Ruggero; Merro, Massimo
Tagging ontologies with fuzzy WordNet Domains 1-gen-2011 Locoro, A.
Tractional Motion Machines: Tangent Managing Planar Mechanisms As Analog Computers And Educational Artefacts 1-gen-2012 Milici, Pietro
Mostrati risultati da 1 a 8 di 8
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