학술논문
'학술논문'
에서 검색결과 469건 | 목록
1~10
Academic Journal
Van Cutsem, E.; Danielewicz, I.; Saunders, M. P.; Pfeiffer, P.; Argilés, G.; Borg, C.; Glynne-Jones, R.; Punt, C. J. A.; Van de Wouw, A. J.; Fedyanin, M.; Stroyakovskiy, D.; Kroening, H.; Garcia-Alfonso, P.; Wasan, H.; Falcone, A.; Fougeray, R.; Egorov, A.; Amellal, N.; Moiseyenko, V.
British Journal of Cancer. 126(11):1548-1554
Report
Abraham, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016
Report
Abraham, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016
Conference
2012 7th International Forum on Strategic Technology (IFOST) Strategic Technology (IFOST), 2012 7th International Forum on. :1-4 Sep, 2012
Academic Journal
Van Cutsem, E.; Danielewicz, I.; Saunders, M.P.; Pfeiffer, P.; Argilés, G.; Borg, C.; Glynne-Jones, R.; Punt, C.J.A.; Van de Wouw, A.J.; Fedyanin, M.; Stroyakovskiy, D.; Kroening, H.; Garcia-Alfonso, P.; Wasan, H.; Falcone, A.; Kanehisa, A.; Egorov, A.; Aubel, P.; Amellal, N.; Moiseenko, V.
In Annals of Oncology September 2020 31(9):1160-1168
Conference
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on. :7-16 2004
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 31(5):765-778 May, 2012
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 27(2):366-379 Feb, 2008
Academic Journal
Ábrahám, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
ACM Communications in Computer Algebra. 50(4):145-147
검색 결과 제한하기
제한된 항목
[Author] Kroening H
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어