학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 75건 | 목록 1~10
Culina, AnticaAdriaensen, FrankBailey, Liam D.Burgess, Malcolm D.Charmantier, AnneCole, Ella F.Eeva, TapioMatthysen, ErikNater, Chloe R.Sheldon, Ben C.Saether, Bernt-ErikVriend, Stefan J. G.Zajkova, ZuzanaAdamik, PeterAplin, Lucy M.Angulo, ElenaArtemyev, AlexandrBarba, EmilioBarisic, SanjaBelda, EduardoBilgin, Cemal CanBleu, JosefaBoth, ChristiaanBouwhuis, SandraBranston, Claire J.Broggi, JuliBurke, TerryBushuev, AndreyCamacho, CarlosCampobello, DanielaCanal, DavidCantarero, AlejandroCaro, Samuel P.Cauchoix, MaximeChaine, AlexisCichon, MariuszCikovic, DavorCusimano, Camillo A.Deimel, CarolineDhondt, Andre A.Dingemanse, Niels J.Doligez, BlandineDominoni, Davide M.Doutrelant, ClaireDrobniak, Szymon M.Dubiec, AnnaEens, MarcelErikstad, Kjell EinarEspin, SilviaFarine, Damien R.Figuerola, JordiGulbeyaz, Pinar KavakGregoire, ArnaudHartley, Ian R.Hau, MichaelaHegyi, GergelyHille, SabineHinde, Camilla A.Holtmann, BenediktIlyina, TatyanaIsaksson, CarolineIserbyt, ArneIvankina, ElenaKania, WojciechKempenaers, BartKerimov, AnvarKomdeur, JanKorsten, PeterKral, MiroslavKrist, MilosLambrechts, MarcelLara, Carlos E.Leivits, AguLiker, AndrasLodjak, JaanisMagi, MarkoMainwaring, Mark C.Mand, RaivoMassa, BrunoMassemin, SylvieMartinez-Padilla, JesusMazgajski, Tomasz D.Mennerat, AdeleMoreno, JuanMouchet, AlexiaNakagawa, ShinichiNilsson, Jan-AkeNilsson, Johan F.Norte, Ana Claudiavan Oers, KeesOrell, MarkkuPotti, JaimeQuinn, John L.Reale, DenisReiertsen, Tone KristinRosivall, BalazsRussell, Andrew F.Rytkonen, SeppoSanchez-Virosta, PabloSantos, Eduardo S. A.Schroeder, JuliaSenar, Juan CarlosSeress, GaborSlagsvold, ToreSzulkin, MartaTeplitsky, CelineTilgar, ValloTolstoguzov, AndreyTorok, JanosValcu, MihaiVatka, EmmaVerhulst, SimonWatson, HannahYuta, TeruZamora-Marin, Jose M.Visser, Marcel E.
Journal of Animal Ecology. 90(9):2147-2160
Conference
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. 2:209-218 May, 2015
Report
Fifth International Joint Conference on Automated Reasoning (IJCAR), Edinburgh : United Kingdom (2010)
Report
Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA) (2008)
Conference
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security. :1-12
Conference
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :114-126
검색 결과 제한하기
제한된 항목
[검색어] Doligez, Damien
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어