학술논문
'학술논문'
에서 검색결과 362건 | 목록
30~40
Academic Journal
Vinet, F.; Bigot, V.; Boissier, L.; Petrucci, O.; Aceto, L.; Pasqua, A.A.; Papagiannaki, K.; Kotroni, V.; Llasat, M.C.; Llasat-Botija, M.; Grimalt, M.; Rossello, J.; Kiliç, Ö.; Kahraman, A.; Tramblay, Y.
In: Water (Switzerland) . (Water (Switzerland), 1 October 2019, 11(10))
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, October 2019, 15(4))
Conference
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on. :113-124 1992
Academic Journal
In: Numerische Mathematik . (Numerische Mathematik, 1 September 2019, 143(1):1-16)
Logical characterisations, rule formats and compositionality for input-output conformance simulation
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, August 2019, 106:78-106)
Academic Journal
Petrucci, O.; Aceto, L.; Pasqua, A.A.; Bianchi, C.; Salvati, P.; Bigot, V.; Vinet, F.; Brázdil, R.; Zêzere, J.L.; Pereira, S.; Kahraman, A.; Kiliç, Ö.; Kotroni, V.; Papagiannaki, K.; Llasat, M.C.; Llasat-Botija, M.; Řehoř, J.; Geli, J.R.
In: Water (Switzerland) . (Water (Switzerland), 1 August 2019, 11(8))
Academic Journal
In: Theoretical Computer Science . (Theoretical Computer Science, 19 July 2019, 777:3-31)
Academic Journal
Petrucci, O.; Aceto, L.; Pasqua, A.A.; Papagiannaki, K.; Kotroni, V.; Boissier, L.; Vinet, F.; Grimalt, M.; Rosselló, J.; Llasat, M.C.; Llasat-Botija, M.
In: Journal of Flood Risk Management . (Journal of Flood Risk Management, June 2019, 12(2))
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2019, 3(POPL))
Academic Journal
검색 결과 제한하기
제한된 항목
[AR] Aceto, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어