학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 18건 | 목록 1~10
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, 2023)
Academic Journal
Koenig, F.Posch, M.Spiertz, C.Millar, D.Rodríguez-Navarro, S.Genescà, J.Pericàs, J.M.Machín, N.Van Dessel, A.Sánchez-Montalva, A.Estevez, A.B.Sánchez, À.Sanjuan, A.Sena, E.Granados, E.Arévalo de Andrés, E.Nuñez, F.Arteaga, G.Fuentes Ruiz, G.P.Fernández, G.Rivera-Esteban, J.Comella, J.Ramos-Quiroga, J.A.Espinosa, J.Pericàs, J.M.Murcia, L.Cash-Gibson, L.de Valles Silvosa, M.Barroso de Sousa, M.F.Sánchez-Maroto Carrizo, O.Ibañez-Jiménez, P.Augustin, S.Perez-Hoyos, S.Muñoz-Martínez, S.Serres, S.Kalko, S.Michon, A.Ussi, A.Lydall, B.van de Ketterij, E.Quiles, I.Carapina, T.Kumaus, C.Ramazanova, D.Meyer, E.L.Roig, M.B.Brunner, M.Krotka, P.Zehetmayer, S.Carton, C.Legius, E.Begum, A.Pariante, C.Worrell, C.Lombardo, G.Sforzini, L.Brown, M.Gullet, N.Amasi-Hartoonian, N.Ferner, R.Kose, M.Spitaleri, A.Ghodousi, A.Di Serio, C.Cirillo, D.Cugnata, F.Saluzzo, F.Benedetti, F.Scarale, M.G.Zini, M.Rancoita, P.M.Alagna, R.Poletti, S.Dhaenens, B.Van Der Lei, J.de Steenwinkel, J.Moinat, M.Oostenbrink, R.Hoogendijk, W.Hölscher, M.Heinrich, N.Otte, C.Potratz, C.Zocholl, D.Kulakova, E.Tacke, F.Brasanac, J.Leubner, J.Krajewska, M.Freitag, M.M.Gold, S.Zoller, T.Chae, W.R.Daniel, C.Kara, L.Vaterkowski, M.Griffon, N.Wolkenstein, P.Pais, R.Ratziu, V.Voets, D.Maes, C.Kalra, D.Thienpoint, G.Deckerck, J.Lea, N.Singleton, P.Viele, K.Jacko, P.Berry, S.Parke, T.Aydin, B.Kubiak, C.Demotes, J.Ueda, K.Matei, M.Contrino, S.Röhl, C.Cordero, E.Greenhalgh, F.Jarke, H.Angelova, J.Boudes, M.Dressler, S.Strammiello, V.Anstee, Q.Gutierrez-Ibarluzea, I.Otte, M.Heimbach, N.Hofner, B.Burgwinkel, C.Kaestel, H.Hees, K.Nguyen, Q.Prieto-Alhambra, D.Tan, E.H.C.Raviglione, M.de Colombani, P.Villa, S.Maron, E.Evans, G.Savitz, A.J.Duca, A.Kaminski, A.Wouters, B.Porter, B.Charron, C.Spiertz, C.Zizzamia, C.Hasselbaink, D.Orr, D.Kesters, D.Hubin, E.Davies, E.Didden, E.-M.Guz, G.Verstraete, E.Mao, G.Capuano, G.Martynowicz, H.De Smedt, H.Larsson, I.Bruegelmans, I.Coste, I.Gonzalez Moreno, J.M.Niewczas, J.Xu, J.Rombouts, K.Woo, K.Wuyts, K.Hersh, K.Oldenburg, K.Zhang, L.Schmidt, M.Szuch, M.Todorovic, M.Mangelaars, M.Grewal, M.Sandor, M.Di Prospero, N.Van Houten, P.Minnick, P.Bastos, P.Patrizi, R.Morello, S.De Wilde, S.Sun, T.Kline, T.de Marez, T.Mielke, T.Reijns, T.Popova, V.Flossbach, Y.Tymofyeyev, Y.De Groote, Z.Sverdlov, A.Bobirca, A.Krause, A.Bobrica, C.Heintz, D.Magirr, D.Glimm, E.Baffert, F.Castiglione, F.Caruso, F.Patalano, F.Bretz, F.Heimann, G.Carbarns, I.Rodríguez, I.Ratescu, I.Hampson, L.Pedrosa, M.Hark, M.Mesenbrink, P.Penna, S.H.Bergues-Lang, S.Baltes-Engler, S.Arsiwala, T.Mondragon, V.J.Guo, H.Da Costa, J.L.Burman, C.-F.Kirk, G.Aaes-Jørgensen, A.Dirach, J.Kjær, M.S.Martin, A.Hristov, D.Rousseaux, F.Hittel, N.Dornheim, R.Evans, D.Sykes, N.Couvert, C.Leuven, C.Notelet, L.Gidh-Jain, M.Jouannin, M.Ammour, N.Pierre, S.Haufe, V.Dong, Y.Dubanchet, C.de Préville, N.Baltauss, T.Jian, Z.Shnider, S.Bar-El, T.Bakker, A.Nievo, M.Iloeje, U.Conradie, A.Auffarrth, E.Lombard, L.Benhayoun, M.Olugbosi, M.Seidel, S.S.Gumí, B.Guzmán, C.G.Molero, E.Pairó, G.Machin, N.Cardelús, R.Ramasastry, S.Pelzer, S.Kremer, A.Lindfors, E.Lynch, C.
In: eClinicalMedicine. (eClinicalMedicine, January 2024, 67)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13360 LNCS:193-228)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12651 LNCS:250-269)
Book
In: Static Analysis - 27th International Symposium, SAS 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12389 LNCS:89-112)
Conference
In: EPiC Series in Computing, 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR23 2020. (EPiC Series in Computing, 2020, 73:279-297)
Academic Journal
In: Pharmazeutische Industrie. (Pharmazeutische Industrie, 2006, 68(6):693-698)
Book
In: Automated Deduction – CADE 2019- 27th International Conference on Automated Deduction, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11716 LNAI:269-286)
검색 결과 제한하기
제한된 항목
[AR] Hark, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어