검색어 : 통합검색[Inferno]
총 2,109건 중 1,000건 출력
, 10/100 페이지
-
91
- Inferno: Streamlining Verification With Inferred Semantics
- DeOrio, A.; Bauserman, A.B.; Bertacco, V.; Isaksen, B.C.; Dept. of Electr. Eng.&Comput. Sci., Univ. of Michigan, Ann Arbor, MI; NVIDIA, Santa Clara, CA; Dept. of Electr. Eng.&Comput. Sci., Univ. of Michigan, Ann Arbor, MI; Jasper Design Autom., Mountain View, CA; (IEEE transactions on computer-aided design of integrated circuits and systems : a publication of the IEEE Circuits and Systems Society, v.28, 2009, pp.728-741)
-
92
- Dante Alighieri: o inferno e Florença
- Cavalvante, Acilon H. B.; ; (Urbana : Revista eletrônica do centro interdisciplinar de estudos sobre a cidade, v.4, 2012, pp.188)
-
93
- Tracking Africa’s Inferno
- Valenti, Michael; ; (Mechanical engineering : the journal of the American Society of Mechanical Engineers, v.122, 2000, pp.66-70)
-
94
- The ICY Inferno: IO
- ; ; (New scientist, v.205, 2010, pp.33)
-
95
- Inferno at Petersburg (review)
- ; ; (Civil War history, v.7, 1961, pp.335-336)
-
96
- Out of the inferno
- Smith-Wong, Katie; ; (New scientist, v.256, 2022, pp.34)
-
97
- RECENSIONI: Dante's Inferno
- Carozza, Davy A.; University of Wisconsin-Milwaukee; (Forum Italicum, v.8, 1974, pp.163-167)
-
98
- Sobre o canto XXVI do Inferno
- Khede, Raphael Salomã o; ; (Gragoatá, v.21, 2016, )
-
99
- Graham Greene's Inferno
- KING, B.; ; (Etudes anglaises : Grande-Bretagne, Etats-Unis, v.21, 1968, pp.35-51)
-
100
- Allen Tate's Inferno.
- Bernetta, Mary; ; (Renascence, v.3, 1951, pp.113-119)
QUICK MENU
