KOR

e-Article

Publication date
-
(ex : 2010-2015)
'e-Article' searched 162results | List 1~10
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 21 August 2023, 969)
Book
In: Tests and Proofs - 18th International Conference, TAP 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2025, 15153 LNCS:87-106)
Book
In: Tests and Proofs - 18th International Conference, TAP 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2025, 15153 LNCS:65-83)
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, 20 March 2024, 36(1))
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 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, 14570 LNCS:331-339)
Book
In: Fundamental Approaches to Software Engineering - 27th International Conference, FASE 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, 14573 LNCS:280-289)
Book
In: Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, 2023, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14399 LNCS:377-391)
Book
In: iFM 2023 - 18th International Conference, iFM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14300 LNCS:93-112)
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, 1 July 2021, 207)
Refining the search results
Facets
[AR] Kosmatov, N.
Publication year
-
Database provider
Title
Publisher
자료유형(Source Type)
Subject
Language