학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 49건 | 목록 40~50
Book
In: Foundations of Software Science and Computational Structures - 13th Int. Conference, FoSSaCS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6014 LNCS:374-388)
Book
In: Functional and Logic Programming - 10th International Symposium, FLOPS 2010, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6009 LNCS:134-149)
Book
In: Computer Science Logic - 22nd International Workshop, CSL 2008 - 17th Annual Conference of the EACSL, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5213 LNCS:154-168)
Book
In: Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008. (IFIP International Federation for Information Processing, 2008, 273:383-396)
Book
In: Logic Programming - 24th International Conference, ICLP 2008, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 5366 LNCS:253-268)
Book
In: Computer Science Logic - 21st International Workshop, CSL 2007 and 16th Annual Conference of the EACSL, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4646 LNCS:405-419)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 1 June 2012, 435:106-138)
Academic Journal
In: Biochemical Society Transactions. (Biochemical Society Transactions, November 2007, 35(5):1013-1017)
Academic Journal
In: Trends in Biochemical Sciences. (Trends in Biochemical Sciences, 1996, 21(11):453)
검색 결과 제한하기
제한된 항목
[AR] Saurin, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어