المؤلفون: Lovrić, N., Fraccaroli, C., Bozzano, M.

المصدر: In Futures August 2023 151

المؤلفون: Bittner, B., Bozzano, M., Cimatti, A., Gario, M., Griggio, A.

المصدر: 2014 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2014. :23-30 Oct, 2014

Relation: 2014 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Agirre, J.A., Etxeberria, L., Barbosa, R., Basagiannis, S., Giantamidis, G., Bauer, T., Ferrari, E., Labayen Esnaola, M., Orani, V., Öberg, J., Pereira, D., Proença, J., Schlick, R., Smrčka, A., Tiberti, W., Tonetta, S., Bozzano, M., Yazici, A., Sangchoolie, B.

المصدر: In Microprocessors and Microsystems November 2021 87

المؤلفون: Yushtein, Y., Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, Th., Olive, X., Roveri, M.

المصدر: 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology Space Mission Challenges for Information Technology (SMC-IT), 2011 IEEE Fourth International Conference on. :18-25 Aug, 2011

Relation: 2011 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT)

المؤلفون: Bozzano, M., Delzanno, G., Martelli, M.

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Symbolic Computation, D.3.1, F.3.1, F.3.2

URL الوصول: http://arxiv.org/abs/cs/0309003

المؤلفون: Bozzano, M.^Aff15, Cimatti, A.^Aff15, Fernandes Pires, A.^Aff15, Jones, D.^Aff16, Kimberly, G.^Aff16, Petri, T.^Aff16, Robinson, R.^Aff16, Tonetta, S.^Aff15

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Kroening, Daniel, editor^Aff13, Păsăreanu, Corina S., editor^Aff14

المصدر: Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. 9206:518-535

المؤلفون: Bittner, B., Bozzano, M., Alessandro Cimatti, Olive, X.

المصدر: Scopus-Elsevier

مصطلحات موضوعية: General Medicine

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5db1263e26d7b8eb4c32c73ede94e65e
https://doi.org/10.1609/aaai.v26i1.8225

المؤلفون: Collin E, Bozzano M

المصدر: iForest - Biogeosciences and Forestry, Vol 8, Iss 1, Pp 143-148 (2015)

مصطلحات موضوعية: Elm, Ulmus minor, Dynamic Conservation, Population Genetics, Europe, France, Forestry, SD1-669.5

وصف الملف: electronic resource

Relation: https://iforest.sisef.org/contents/?id=ifor1206-008; https://doaj.org/toc/1971-7458

URL الوصول: https://doaj.org/article/4c0285704f5e4e36aa70fd5e793097fd

المؤلفون: Bombardelli, A., Bonizzi, A., Bozzano, M., Cavada, R., Cimatti, A., Griggio, A., Nazaria, M., Nicolodi, E., Tonetta, S., Zampedri, G.

المصدر: Ada User Journal; Mar2023, Vol. 44 Issue 1, p75-78, 4p

مصطلحات موضوعية: ARCHITECTURAL design

الشركة/الكيان: EUROPEAN Space Agency

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.