학술논문
'학술논문'
에서 검색결과 22건 | 목록
1~10
Report
Principles of Systems Design 2022, Lecture Notes in Computer Science, vol 13660. Springer, Cham
Conference
2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :1-10 Oct, 2021
Einarsdóttir, Sólrún, 1991; Hajdú, Márton; Johansson, Moa, 1981; Smallbone, Nicholas, 1986; Suda, Martin
12th International Joint Conference on Automated Reasoning, IJCAR 2024, Nancy, France Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14739 LNAI:214-232
Book
In Science for Policy Handbook 2020:104-116
Albrecht, Daniel; Becker, William; Bock, Anne-Katrin; Bontoux, Laurent; Brandt, Pernille; Cairney, Paul; Calenbuhr, Vera; Catana, Coralia; Cauchi, Jonathan; Craglia, Massimo; Dantas Faria, Jorge Costa; De Groeve, Tom; Deleglise, Marie-Agnes; Demblans, Albane; Dewar, Marion; Torreiro, Marcos-Dominguez; Elia, Leandro; Florescu, Elisabeta; Funtowicz, Silvio; Hajdu, Marton; Havari, Enkelejda; Hradec, Jiri; Kalburov, Ivan; Kancs, d’Artis; Krzysztofowicz, Maciej; Langedijk, Sven; Lavalle, Carlo; Lehto, Sari; Listorti, Giulia; Mair, David; Martínez, Manuel Palazuelos; Munda, Giuseppe; Munn, Sharon; Neicu, Daniel; Otto, Jens; Ostlaender, Nicole; Paruolo, Paolo; Pereira, Ângela Guimarães; Pólvora, Alexandre; Rancati, Alessandro; Ravetz, Jerry; Rorive, Adrien; Rosa, Paulo; Rosati, Rossana; Rosenbaum, Eckehard; Roudier, Serge; Rudkin, Jennifer-Ellen; Saisana, Michaela; Scapolo, Fabiana; Schade, Sven; Sienkiewicz, Marta; Simoneau, Catherine; Smillie, Laura; Smits, Paul; Störmer, Eckhard; Šucha, Vladimír; Topp, Lene; Troussard, Xavier; van Bavel, René; den Berg, Maurits van; van Nes, Pieter; Verleyen, Stijn; Vertesy, Daniel; Vollbracht, Ian; Völker, Thomas; van Holthe, Marion Westra
In Science for Policy Handbook 2020:ix-xii
Academic Journal
Gila, Barnabás Csaba; Heungyun Moon; Antal, Károly; Hajdu, Márton; Kovács, Réka; Jónás, Andrea P.; Pusztahelyi, Tünde; Jae-Hyuk Yu; Pócsi, István; Emri, Tamás
Conference
검색 결과 제한하기
제한된 항목
[AR] Hajdu, Marton
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어