Author Results for Mu oz, C sar A,

SpringerLink (Online service)
Ait Mohamed,Otmane
Muñoz,César A.,
NFM (Symposium),Online)
NFM Symposium,Newport News, Va
see all »
TPHOLs 2008,Montreal, Québec)
Tahar,Sofiène,

1
Interactive Theorem Proving : 8th International Conference, ITP 2017, Bras lia, Brazil, September 26 29, 2017, Proceedings /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Ayala-Rinc n, Mauricio (Editor); Mu oz, C sar A (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
4
HCI for Children with Disabilities /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Guerrero-Garcia, Josefina (Editor); Gonz lez-Calleros, Juan Manuel (Editor); Mu oz-Arteaga, Jaime (Editor); Collazos, C sar A (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
5
NASA formal methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /

Cover is for reference only
Corporate Authors: NFM (Symposium) Online)
Group Author: Dutle, Aaron Michael (Editor); Moscato, Mariano M. (Editor); Titolo, Laura (Editor); Muñoz, César A., 1968- (Editor); Perez, Ivan (Research scientist) (Editor)
Published: Springer,
Publication Dates: [2021]
Call Number: TP301.6-532/N575/2021
Book
Save to List
Saved in:
6
Marburg- and Ebolaviruses : from ecosystems to molecules /

Cover is for reference only
Group Author: Mühlberger, Elke (Editor); Hensley, Lisa L. (Editor); Towner, Jonathan S. (Editor); Kawaoka, Yoshihiro (Editor)
Published: Springer,
Publication Dates: [2017]
Call Number: R373.9/M312-1
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —