Search

Author/Creator Esparza, Javier

2. Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. (2019)

Editors:
Chen, Yu-Fang; Cheng, Chih-Hong; Esparza, Javier
Other Names:
ATVA (Symposium), 17th
Record Type:
Book
Extent:
1 online resource (xi, 552 pages), illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

3. Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. (2017)

Editors:
Esparza, Javier; Murawski, Andrzej S
Other Names:
FOSSACS (Conference), 20th; ETAPS (Conference), 20th, jointly held conference
Record Type:
Book
Extent:
1 online resource (xvii, 568 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

4. Oxidatively modified low‐density lipoproteins are potential mediators of proteasome inhibitor resistance in multiple myeloma. Issue 12 (8th March 2021)

Authors:
Polusani, Srikanth R.; Cortez, Valerie; Esparza, Javier; Nguyen, Huynh Nga; Fan, Hongxin; Velagaleti, Gopalrao V. N.; Butler, Matthew J.; Kinney, Marsha C.; Oyajobi, Babatunde O.; Habib, Samy L.; Asmis, Reto; Medina, Edward A.
Journal:
International journal of cancer
Issue:
Volume 148:Issue 12(2021)
Page Start:
3032
Record Type:
Journal Article
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗