Search

You searched for: Auteur Perez, Ivan Remove constraint Auteur: Perez, Ivan
1 - 5 of 5
Number of results to display per page

Search Results

1. NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
thumbnail
Full text!
Author:
Deshmukh, Jyotirmoy V.; Havelund, Klaus; Perez, Ivan
Publisher:
Cham Springer International Publishing AG 2022
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. Sustainable Aquaculture Techniques
thumbnail
Full text!
Author:
Martha Patricia Hernandez- Vergara, Carlos Ivan Perez-Rostro
Publisher:
IntechOpen
Format:
e-book
4. Innovation and Competitiveness in Industry 4. 0 Based on Intelligent Systems
thumbnail
Full text!
Author:
Méndez-González, Luis Carlos.; Pérez Olguín, Iván Juan Carlos; Rodríguez-Picón, Luis Alberto
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
5. Advances in Speech and Language Technologies for Iberian Languages
thumbnail
Full text!
Author:
Navarro Mesa; Guerra Moreno, Iván; Hernández Pérez, Eduardo; Ortega, Alfonso; Quintana Morales, Pedro; Ravelo Garcia, Antonio; Teixeira, António; Toledano, Doroteo T.
Publisher:
Springer International Publishing 2014
Format:
e-book