학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 69건 | 목록 1~10
Conference
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :44-54 Apr, 2024
Academic Journal
Virtual Reality; Sep2024, Vol. 28 Issue 3, p1-46, 46p
Reference
The Oxford Encyclopedia of the History of American Science, Medicine, and Technology, 1 ed., 2015.
Report
Benz, WillyBroeg, ChristopherFortier, AndreaRando, NicolaBeck, ThomasBeck, MathiasQueloz, DidierEhrenreich, DavidMaxted, PierreIsaak, KateBillot, NicolasAlibert, YannAlonso, RoiAntónio, CarlosAsquier, JoelBandy, TimothyBárczy, TamasBarrado, DavidBarros, SusanaBaumjohann, WolfgangBekkelien, AnjaBergomi, MariaBiondi, FedericoBonfils, XavierBorsato, LucaBrandeker, AlexisBusch, Martin-DiegoCabrera, JuanCessa, VirginieCharnoz, SébastienChazelas, BrunoCameron, Andrew CollierVan Damme, Carlos CorralCortes, DavidDavies, MelvynDeleuil, MagaliDeline, AdrienDelrez, LaetitiaDemangeon, OlivierDemory, Brice-OlivierErikson, AndersFarinato, JacopoFossati, LucaFridlund, MalcolmFutyan, DavidGandolfi, DavideMunoz, Antonio GarciaGillon, MichaëlGuterman, PascalGutierrez, AntonioHasiba, JohannHeng, KevinHernandez, EduardoHoyer, SergioKiss, LaszloKovacs, ZsoltKuntzer, ThibaultLaskar, JacquesEtangs, Alain Lecavelier desLendl, MonikaLópez, AmadorLora, IvanLovis, ChristopheLüftinger, TheresaMagrin, DemetrioMalvasio, LucaMarafatto, LucaMichaelis, Haraldde Miguel, DianaModrego, DavidMunari, MatteoNascimbeni, ValerioOlofsson, GöranOttacher, HaraldOttensamer, RolandPagano, IsabellaPalacios, RobertoPallé, EnricPeter, GisbertPiazza, DanielePiotto, GiampaoloPizarro, AlbertoPollaco, DonRagazzoni, RobertoRatti, FrancescoRauer, HeikeRibas, IgnasiRieder, MartinRohlfs, ReinerSafa, FredericSalatti, MarioSantos, NunoScandariato, GaetanoSégransan, DamienSimon, AttilaSmith, AlexisSordet, MichaelSousa, SergioSteller, ManfredSzabó, GyulaSzoke, JanosThomas, NicolasTschentscher, MatthiasUdry, StéphaneVan Grootel, ValérieViotto, ValentinaWalter, IngoWalton, NicholasWildi, FrançoisWolter, David
검색 결과 제한하기
제한된 항목
[AR] Cortes, David
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어