학술논문
'학술논문'
에서 검색결과 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
Cameron, A.J.; De Rycker, M.; Saurin, A.; Faisal, A.; Parker, P.J.; Calleja, V.; Alcor, D.; Larijani, B.; Kjaer, S.; Kostelecky, B.; McDonald, N.; Laguerre, M.; Hemmings, B.A.
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)
주제어
언어