학술논문
'학술논문'
에서 검색결과 53건 | 목록
1~10
Academic Journal
In: Rangeland Ecology and Management . (Rangeland Ecology and Management, November 2023, 91:87-94)
Academic Journal
In: Quantum . (Quantum, 2023, 7)
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)
주제어
언어