학술논문
'학술논문'
에서 검색결과 147건 | 목록
30~40
Book
In: Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13474 LNCS:103-120)
Book
In: Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13271 LNCS:223-240)
Book
In: Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13226 LNCS:v-vi)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 8950:506-521)
Academic Journal
In: Veterinary Dermatology . (Veterinary Dermatology, 1 August 2016, 27(4):301-e74)
Academic Journal
Ancona, D.; Mascardi, V.; Bono, V.; Padovani, L.; Bravetti, M.; Giachino, E.; Campos, J.; Castagna, G.; Martins, F.; Vasconcelos, V.T.; Deniélou, P.-M.; Gay, S.J.; Gesbert, N.; Hu, R.; Neykova, R.; Ng, N.; Yoshida, N.; Johnsen, E.B.; Montesi, F.
In: Foundations and Trends in Programming Languages . (Foundations and Trends in Programming Languages, 2016, 3(2-3):95-230)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 35th European Conference on Object-Oriented Programming, ECOOP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2021, 194)
Academic Journal
Pavoni, E.; Dalzini, E.; Bertasi, B.; Losio, M.N.; Arcangeli, G.; Terregino, C.; Montesi, F.; Manfrin, A.; Bertoli, E.; Brutti, A.; Varisco, G.
In: Food and Environmental Virology . (Food and Environmental Virology, March 2014, 7(1):76-85)
Academic Journal
Pavoni, E.; Dalzini, E.; Bertasi, B.; Losio, M.N.; Arcangeli, G.; Terregino, C.; Montesi, F.; Manfrin, A.; Bertoli, E.; Brutti, A.; Varisco, G.
In: Food and Environmental Virology . (Food and Environmental Virology, In Press, 25 October 2014) 10p.
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 12th International Conference on Interactive Theorem Proving, ITP 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2021, 193)
검색 결과 제한하기
제한된 항목
[AR] Montesi, F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어