학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 244건 | 목록 180~190
Academic Journal
In: Formal Aspects of Computing. (Formal Aspects of Computing, May 2013, 25(3):405-437)
Conference
In: Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005. (Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005, 2005, :10)
Book
In: Formal Methods and Software Engineering - 7th International Conference on Formal Engineering Methods, ICFEM 2005, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3785 LNCS:315-329)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3702 LNAI:v)
Book
In: Logic for Programming, Artificial Intelligence, and Reasoning - 12th International Conference, LPAR 2005, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3835 LNAI:154-168)
Book
In: Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2306:327-330)
Academic Journal
In: Journal of Automated Reasoning. (Journal of Automated Reasoning, December 2010, 45(4):327-329)
Academic Journal
In: New Biotechnology. (New Biotechnology, 31 July 2010, 27(3):170-183)
Book
In: Java on Smart Cards: Programming and Security - 1st International Workshop, JavaCard 2000, Revised Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2041:6-24)
Book
In: Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2244 LNCS:47-54)
검색 결과 제한하기
제한된 항목
[AR] Beckert, B.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어