학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 53건 | 목록 1~10
Academic Journal
In: Rangeland Ecology and Management. (Rangeland Ecology and Management, November 2023, 91:87-94)
Book
In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14574 LNCS:121-143)
Academic Journal
In: Innovations in Systems and Software Engineering. (Innovations in Systems and Software Engineering, 1 September 2019, 15(3-4):235-251)
Conference
In: CEUR Workshop Proceedings, PoS 2023 - Proceedings of the 14th International Workshop on Pragmatics of SAT, co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023. (CEUR Workshop Proceedings, 2023, 3545:1-13)
Book
In: Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14308 LNCS:208-227)
Book
In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14216 LNCS:199-216)
Book
In: Reversible Computation - 15th International Conference, RC 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13960 LNCS:134-149)
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:3-21)
검색 결과 제한하기
제한된 항목
[AR] Laarman, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어