학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 11건 | 목록 1~10
Academic Journal
In: Journal of Logic and Algebraic Programming. (Journal of Logic and Algebraic Programming, July 2002, 52-53:183-220)
Academic Journal
In: Fundamenta Informaticae. (Fundamenta Informaticae, April 1999, 38(1-2):61-77)
Book
In: Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2102:493-505)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2034:147-161)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 7th Int. Conf., TACAS 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Proc.. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2031 LNCS:174-188)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 7th Int. Conf., TACAS 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Proc.. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2031 LNCS:189-203)
Book
In: Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1783:349-362)
Book
In: Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1855:216-231)
Book
In: Mathematical Foundations of Computer Science 1998 - 23rd International Symposium, MFCS 1998, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1998, 1450 LNCS:378-387)
검색 결과 제한하기
제한된 항목
[AR] Hune, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어