학술논문
'학술논문'
에서 검색결과 11건 | 목록
1~10
Academic Journal
Hune, T.; Mamone, S.; Schroeder, H.; Jagtap, A.P.; Sternkopf, S.; Stevanato, G.; Korchak, S.; Glöggler, S.; Fokken, C.; Becker, D.; Müller, C.A.; Schmidt, A.B.
In: ChemPhysChem . (ChemPhysChem, 17 January 2023, 24(2))
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)
주제어
언어