학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 28건 | 목록 1~10
Academic Journal
In: Innovations in Systems and Software Engineering. (Innovations in Systems and Software Engineering, December 2023, 19(4):379-394)
Conference
In: CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law, CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law. (CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law, 12 March 2024, :73-85)
Conference
In: Proceedings - International Conference on Software Engineering, ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering. (Proceedings - International Conference on Software Engineering, 6 February 2024)
Book
In: Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14380 LNCS:25-32)
Book
In: Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14380 LNCS:119-137)
Book
In: Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14380 LNCS:256-278)
Conference
In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, 2023, 33(1):80-85)
Conference
In: IJCAI International Joint Conference on Artificial Intelligence, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. (IJCAI International Joint Conference on Artificial Intelligence, 2023, 2023-August:372-381)
Book
In: Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13872 LNCS:141-160)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, 1 November 2017, 51(2):332-361)
검색 결과 제한하기
제한된 항목
[AR] Konighofer, B.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어