학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 154건 | 목록 1~10
Academic Journal
Kiernan, MatthewMathers, SusanHenderson, RobertNeedham, MerrileeSchultz, DavidLöscher, WolfgangMitrovic, NenadRath, JakobDamme, Philip VanDe Bleecker, Jan L.Delstanche, StéphanieJohnston, WendyZinman, LorneO'Connell, ColleenMatte, GenevieveDionne, AnnieKorngut, LawrenceTurnbull, JohnLaaksovirta, HannuJokela, ManuTapiola, TeroSoriani, Marie-HélèneCouratier, PhilippeCamu, WilliamCorcia, PhilippeLudolph, AlbertGroßkreutz, JulianMeyer, ThomasBoentert, MatthiasSchrank, BertholdPrudlo, JohannesUntucht, RobertHardiman, OrlaSiciliano, GabrieleChio', AdrianoMazzini, LetiziaInghilleri, MaurizioCaponnetto, ClaudiaMora, GabrieleMora Pardina, Jesús SFarrero Munoz, EvaVázquez Costa, Juan FAguera Morales, EduardoVarona, LuisAndersen, PeterIngre, CarolineJohansson, RuneRadunovic, AleksandarYoung, CarolynBabu, SumaShaibani, AzizStaff, NathanVu, TuanRivner, MichaelScelsa, StephenSivakumar, KumaraswamyWaheed, WaqarHeitzman, DaraghRana, SandeepPattee, GaryAjroud-Driss, SendaBayat, ElhamKasarskis, EdwardLange, Dale JElliott, MichaelHarris, BrentFelice, KevinPulley, Michael TKwan, JustinBrown, MartinRavits, JohnBurford, MatthewKaram, ChaficMiller, TimothyAndrews, JinsyLevine, ToddLocatelli, EduardoWymer, JamesBedlack, RichardFee, DominicGoyal, NamitaOskarsson, BjornMcCluskey, LeoCaress, JamesWeiss, MichaelQuick, AdamBromberg, MarkLacomis, DavidGoutman, StephenRezania, KouroshGuliani, GauravGoslin, KimberlyKatz, Jonathan SCudkowicz, MeritGenge, AngelaMaragakis, NicholasPetri, Susannevan den Berg, LeonardAho, Valtteri VSarapohja, ToniKuoppamäki, MikkoGarratt, ChrisAl-Chalabi, Ammar
In The Lancet Neurology October 2021 20(10):821-831
Report
Automated Deduction -- CADE 29 (2023). Lecture Notes in Computer Science vol 14132. Springer
Conference
2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :160-169 Oct, 2022
검색 결과 제한하기
제한된 항목
[AR] Rath, Jakob
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어