Zoeken

U zocht naar: Auteur Muñoz, César A. Filter Auteur: Muñoz, César A. weghalen Taal Engels Filter Taal: Engels weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

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