المؤلفون: Martinelli F., Mercaldo F., Nardone V., Santone A., Vaglini G.

المساهمون: Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Vaglini, G.

مصطلحات موضوعية: Android, Formal method, Malware, Model checking, Security

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32257-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-32258-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000570007800057; ispartofbook:Studies in Computational Intelligence; 13th International Symposium on Intelligent Distributed Computing, IDC 2019; volume:868; firstpage:485; lastpage:494; numberofpages:10; serie:STUDIES IN COMPUTATIONAL INTELLIGENCE; http://hdl.handle.net/11568/1047733Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075566299

الإتاحة: https://doi.org/10.1007/978-3-030-32258-8_57Test
http://hdl.handle.net/11568/1047733Test

المؤلفون: Michele Spinicci, Valentina Mangano, Federica Gesualdi, Giacomo Zanelli, Giacinta Tondini, Silvia Fabiani, Michele Trezzi, Loria Bianchi, Danilo Tacconi, Irene Galanti, Sara Moneta, Maria Nardone, Donatella Aquilini, Roberto Degl’Innocenti, Manuela Lapini, Spartaco Sani, Patrizia Petricci, Antonella Vincenti, Stefania Lombardi, Maria Pia Allegri, Silvia Valentini, Lorenzo Mecocci, Lorenzo Zammarchia, Fabrizio Bruschi, Alessandro Bartoloni

المساهمون: Spinicci, Michele, Mangano, Valentina, Gesualdi, Federica, Zanelli, Giacomo, Tondini, Giacinta, Fabiani, Silvia, Trezzi, Michele, Bianchi, Loria, Tacconi, Danilo, Galanti, Irene, Moneta, Sara, Nardone, Maria, Aquilini, Donatella, Degl’Innocenti, Roberto, Lapini, Manuela, Sani, Spartaco, Petricci, Patrizia, Vincenti, Antonella, Lombardi, Stefania, Pia Allegri, Maria, Valentini, Silvia, Mecocci, Lorenzo, Zammarchia, Lorenzo, Bruschi, Fabrizio, Bartoloni, Alessandro

مصطلحات موضوعية: malaria, diagnosi, terapia

وصف الملف: ELETTRONICO

العلاقة: ispartofbook:Abstract del XVIII Congresso Nazionale della Società Italiana di Malattie Infettive; XVIII Congresso Nazionale SIMIT; http://hdl.handle.net/11568/1023095Test

الإتاحة: http://hdl.handle.net/11568/1023095Test

المؤلفون: Cimitile, Aniello, Mercaldo, Francesco, Martinelli, Fabio, Nardone, Vittoria, Santone, Antonella, VAGLINI, GIGLIOLA

المساهمون: Cimitile, Aniello, Mercaldo, Francesco, Martinelli, Fabio, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola

مصطلحات موضوعية: security, malware, evolution, phylogenesy, model checking

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-153860422-9; info:eu-repo/semantics/altIdentifier/wos/WOS:000427065300005; ispartofbook:Proceedings - 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017; 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering, FormaliSE 2017; firstpage:24; lastpage:30; numberofpages:7; http://hdl.handle.net/11568/870836Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85027441414; https://ieeexplore.ieee.org/document/7967989Test

الإتاحة: https://doi.org/10.1109/FormaliSE.2017.4Test
http://hdl.handle.net/11568/870836Test
https://ieeexplore.ieee.org/document/7967989Test

المؤلفون: De Seta M. ., Capellini G., Ciasca G., Busby Y., Evangelisti F., Nicotra G., Nardone M., Ortolani M. ., Nucara A., Calvani P., VIRGILIO, MICHELE, GROSSO, GIUSEPPE

المساهمون: De Seta, M. ., Capellini, G., Ciasca, G., Busby, Y., Evangelisti, F., Nicotra, G., Nardone, M., Ortolani, M. ., Virgilio, Michele, Grosso, Giuseppe, Nucara, A., Calvani, P.

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9789810836948; ispartofbook:9TH IEEE CONFERENCE ON NANOTECHNOLOGY; 9TH IEEE CONFERENCE ON NANOTECHNOLOGY 2009; firstpage:513; lastpage:514; numberofpages:2; http://hdl.handle.net/11568/229989Test

الإتاحة: http://hdl.handle.net/11568/229989Test

المؤلفون: DOMENICI, RANIERI, Fornaciari S, Nardone M, Rocchi A, Spinetti I, Venturi M, Presciuttini S.

المساهمون: Domenici, Ranieri, Fornaciari, S, Nardone, M, Rocchi, A, Spinetti, I, Venturi, M, Presciuttini, S.

العلاقة: ispartofbook:Proceedings of the 18th International ISFH Congress; Proceedings of the 18th International ISFH Congress; volume:8; firstpage:164; lastpage:166; numberofpages:2; http://hdl.handle.net/11568/169098Test

الإتاحة: http://hdl.handle.net/11568/169098Test

المؤلفون: Tagliabracci A, Paoli M, Rodriguez D, Buscemi L, Cucurachi N, Ferrara SD, Previderè C, Peloso G, Riva A, Pierucci G, Fornaciari S, Nardone M, Spinetti I, Bargagna M., DOMENICI, RANIERI

المساهمون: Tagliabracci, A, Paoli, M, Rodriguez, D, Buscemi, L, Cucurachi, N, Ferrara, Sd, Previderè, C, Peloso, G, Riva, A, Pierucci, G, Domenici, Ranieri, Fornaciari, S, Nardone, M, Spinetti, I, Bargagna, M.

العلاقة: ispartofbook:Advances in Forensic Haemogenetics; 16th congress of the international society for forensic haemogenetics; volume:6; firstpage:637; lastpage:640; numberofpages:4; http://hdl.handle.net/11568/198752Test

الإتاحة: http://hdl.handle.net/11568/198752Test

المؤلفون: DOMENICI, RANIERI, Bibbiani R, Fornaciari S, Nardone M, Rocchi A, Spinetti I, Bargagna M.

المساهمون: Domenici, Ranieri, Bibbiani, R, Fornaciari, S, Nardone, M, Rocchi, A, Spinetti, I, Bargagna, M.

العلاقة: ispartofbook:Progress in forensic genetics 7; Proceedings of the 17th International ISFH Congress; http://hdl.handle.net/11568/159303Test

الإتاحة: http://hdl.handle.net/11568/159303Test

المؤلفون: Buscemi L, Tagliabracci A, Bianchi F, Paoli M, Rodriguez D, Sassaroli C, Caenazzo L, Ponzano E, Cortivo P, Previderè C, Peloso G, Pierucci G, Bibbiani R, Nardone M, Spinetti I, Bargagna M., DOMENICI, RANIERI

المساهمون: Buscemi, L, Tagliabracci, A, Bianchi, F, Paoli, M, Rodriguez, D, Sassaroli, C, Caenazzo, L, Ponzano, E, Cortivo, P, Previderè, C, Peloso, G, Pierucci, G, Domenici, Ranieri, Bibbiani, R, Nardone, M, Spinetti, I, Bargagna, M.

العلاقة: ispartofbook:Progress in Forensic Genetics; Proceedings of the 17th International ISFH Congress; http://hdl.handle.net/11568/159260Test

الإتاحة: http://hdl.handle.net/11568/159260Test

المؤلفون: DOMENICI, RANIERI, Bibbiani R, Fornaciari S, Nardone M, Rocchi A, Spinetti I, Venturi M, Bargagna M.

المساهمون: Domenici, Ranieri, Bibbiani, R, Fornaciari, S, Nardone, M, Rocchi, A, Spinetti, I, Venturi, M, Bargagna, M.

العلاقة: ispartofbook:Progress in forensic genetics 7; Proceedings of the 17th International ISFH Congress; http://hdl.handle.net/11568/158887Test

الإتاحة: http://hdl.handle.net/11568/158887Test

المؤلفون: DI IACOVO, FRANCESCO PAOLO

المساهمون: Bernardo C. de Gennaro, Gianluca Nardone, DI IACOVO, FRANCESCO PAOLO

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-88-97683-60-5; ispartofbook:Sustainability of the agri-food system: strategies and performances-Proceedings of the 50th SIDEA Conference; Sustainability of the agri-food system: strategies and performances; firstpage:25; lastpage:45; numberofpages:21; alleditors:Bernardo C. de Gennaro, Gianluca Nardone; http://hdl.handle.net/11568/771198Test

الإتاحة: http://hdl.handle.net/11568/771198Test