학술논문
'학술논문'
에서 검색결과 161건 | 목록
120~130
Book
In: Implementation and Application of Automata - 15th International Conference, CIAA 2010, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, 6482 LNCS:87-94)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings - FM-09 Workshop on Formal Methods for Aerospace, FMA 2009. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 28 March 2010, 20:68-75)
Book
In: Formal Techniques for Distributed Systems - Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6117 LNCS:155-169)
Conference
In: Proceedings of the ACM Symposium on Applied Computing , 24th Annual ACM Symposium on Applied Computing, SAC 2009. (Proceedings of the ACM Symposium on Applied Computing, 2009, :566-573)
Book
In: Formal Methods for Industrial Critical Systems - 13th International Workshop, FMICS 2008, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5596 LNCS:166-181)
Book
In: FM 2009: Formal Methods - Second World Congress, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5850 LNCS:89-105)
Book
In: Computer Aided Verification - 21st International Conference, CAV 2009, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5643 LNCS:188-203)
Book
In: Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5311 LNCS:111-125)
Book
In: Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4590 LNCS:532-546)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4424 LNCS:505-518)
검색 결과 제한하기
제한된 항목
[AR] Tonetta, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어