Search

You searched for: Auteur Muñoz, César A. Remove constraint Auteur: Muñoz, César A.
1 - 4 of 4
Number of results to display per page

Search Results

1. Interactive Theorem Proving
thumbnail
Full text!
Author:
Ayala-Rincón; Muñoz, César A.
Publisher:
Springer International Publishing 2017
Format:
e-book
2. NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
thumbnail
Full text!
Author:
Dutle, Aaron; Moscato, Mariano M.; Muñoz, César A.; Perez, Ivan; Titolo, Laura
Publisher:
Springer International Publishing 2021
Format:
e-book
3. Theorem Proving in Higher Order Logics
thumbnail
Full text!
Author:
Mohamed, Otmane Ait; Ait Mohamed, Otmane; Kanade, Takeo; Muñoz, César; Muñoz, César A.; Tahar, Sofiène; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
4. HCI for Children with Disabilities
thumbnail
Full text!
Author:
Guerrero-Garcia, Josefina; Collazos, César A.; González-Calleros, Juan Manuel; Muñoz-Arteaga, Jaime
Publisher:
Springer International Publishing 2017
Format:
e-book