Sfoglia per Rivista ACM COMPUTING SURVEYS
Mostrati risultati da 1 a 8 di 8
Enhanced operational semantics
1996-01-01 P., Degano; Priami, Corrado
Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems
2001-01-01 P., Degano; Priami, Corrado
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work
2019-01-01 Patrignani, Marco; Ahmed, Amal; Clarke, Dave
Graphical Modelling Tools for Systems Biology
2014-01-01 R., Gostner; B., Baldacci; M. J., Morine; Priami, Corrado
Machine learning methods for reliable resource provisioning in edge-cloud computing: A survey
2019-01-01 Le Duc, T.; Leiva, R. G.; Casari, P.; Ostberg, P. -O.
Mitigating Bias in Algorithmic Systems: A Fish-Eye View of Problems and Solutions Across Domains
In corso di stampa Orphanou, Kalia; Otterbacher, Jahna; Kleanthous, Styliani; Batsuren, Khuyagbaatar; Giunchiglia, Fausto; Bogina, Veronika; Tal, Avital Shulner; Hartman, Alan; Kuflik, Tsvi
Operational Methods in Theoretical Computer Science
1999-01-01 Priami, Corrado
Programming Wireless Sensor Networks: Fundamental Concepts and State of the Art
2011-01-01 Picco, Gian Pietro; Mottola, L.
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