e-Article
'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