E-LIB Suche - Ergebnisse für: César Muñoz

1

NASA Formal Methods: 13th International Symposium, NFM 2021..

Programming and Software Engineering, 12673

Dutle, Aaron ; Moscato, Mariano M ; Titolo, Laura.. - 1st ed. 2021 . , 2021

2

Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, ... Lecture Notes in Computer Science ; 10499;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Muñoz, César A. ; Ayala-Rincón, Mauricio , 2017

Link: https://doi.org/10.1007/..

3

Theorem proving in higher order logics

21st international conference, TPHOLs 2008, Montreal, Canad... Lecture notes in computer science ; 5170

Ait Mohamed, Otmane ; Muñoz, César ; Tahar, Sofiène , 2008

Link: http://dx.doi.org/10.100..

4

Theorem Proving in Higher Order Logics

15th International Conference, TPHOLs 2002 Hampton, VA, USA... Lecture Notes in Computer Science ; 2410;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Carreño, Victor A. ; Muñoz, César A. ; Tahar, Sofiène , 2002

Link: https://doi.org/10.1007/..

5

Antiviral Discovery for Highly Pathogenic Emerging Viruses

ISSN

Muñoz-Fontela, César ; Delgado, Rafael , 2021

Link: https://search.ebscohost..

6

Use of personal protective equipment for safe first assessm..

ECDC technical document

Velasco Muñoz, Cesar ; Plachouras, Diamantis ; Jasir, Aftab. , 2014

Link: https://data.europa.eu/d..

7

Safe use of personal protective equipment in the treatment ..

ECDC technical document

Velasco Muñoz, Cesar ; Varela Santos, Carmen ; Kranendonk, Louise van.. , 2014

Link: https://data.europa.eu/d..

8

Aprendizaje Colaborativo Apoyado por Computador

Open textbook library

Collazos, César ; Muñoz, Jaime ; Hernández, Yosly , [2014]

Link: https://open.umn.edu/ope..

9

Position Location Techniques and Applications:

Munoz, David ; Lara, Frantz ; Vargas, Cesar. - 1st edition . , 2009

Link: https://learning.oreilly..

10

Analysing the digital capacity of Spanish schools using SEL..

EUR, 30735

Castaño Muñoz, Jonatan ; Weikert García, Lilian ; Herrero Rámila, César , 2021

Link: https://op.europa.eu/pub..

11

10th International Symposium, NFM 2018, Newport News, VA, U... Lecture Notes in Computer Science ; 10811;Programming and Software Engineering ; 10811;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Dutle, Aaron ; Narkawicz, Anthony ; Muñoz, César , 2018

Link: https://doi.org/10.1007/..