KIRJAUDU

ostoskori

avaa valikko

Mauricio Munoz | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 17 tuotetta
Haluatko tarkentaa hakukriteerejä?

INTERACTIVE THEOREM PROVING - 8TH INTERNATIONAL CONFERENCE, ITP 2017, BRASÍLIA, BRAZIL, SEPTEMBER 26–29, 2017, PROCEEDINGS

Mauricio Ayala-Rincon; Cesar A. Munoz
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

51,40 €

SOY LA TUITERA DE MODA - LA HISTORIA DE UNA FEMINISTA

Rafael Muñoz Molina; Mauricio Sextante
Independently Published (2018)
Pehmeäkantinen kirja

10,60 €

INFLUENCIA DEL RUIDO AMBIENTAL SOBRE AVES PASERINAS PRESENTES EN CHILE

Francisco Muñoz Dávila; Enrique Suárez Silva; Mauricio Soto Gamboa
Editorial Academica Espanola (2020)
Pehmeäkantinen kirja

95,20 €

ELEMENTOS PARA UNA CARACTERIZACIÓN DE LA RURALIDAD

Mauricio Muñoz Zapata
Editorial Academica Espanola (2018)
Pehmeäkantinen kirja

93,00 €

SOCIEDAD Y EPIGRAFIA EN GRANADA ENEPOCA ROMANA

MAURICIO PASTOR MUÑOZ
UNIV.GRANADA (2005)
Pehmeäkantinen kirja

22,40 €

MECHANISMS OF CIRCADIAN SYSTEMS IN ANIMALS AND THEIR CLINICAL RELEVANCE

Raúl Aguilar-Roblero; Mauricio Díaz-Muñoz; Mária Luisa Fanjul-Moles
Springer International Publishing AG (2014)
Kovakantinen kirja

101,40 €

VIRIATO, LA LUCHA POR LA LIBERTAD

Mauricio Pastor Muñoz
Editorial Alderaban (2000)
Pehmeäkantinen kirja

51,90 €

GRANADA

Mauricio Pastor Muñoz
Consejería de Educación, Cultura y Deporte (2002)
Pehmeäkantinen kirja

52,10 €

NEURODEGENERACIÓN Y CALCIO INTRACELULAR

Vazquez-Martinez Olivia; Diaz-Munoz Mauricio
Eae Editorial Academia Espanola (2012)
Pehmeäkantinen kirja

59,50 €

VIRIATO

MAURICIO PASTOR MUÑOZ
ESFERA DE LOS LIBROS (2017)
Jokin muu kirjan muoto

11,90 €

MECHANISMS OF CIRCADIAN SYSTEMS IN ANIMALS AND THEIR CLINICAL RELEVANCE

Raúl Aguilar-Roblero; Mauricio Díaz-Muñoz; Mária Luisa Fanjul-Moles
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

101,40 €

LOS GLADIADORES

MAURICIO PASTOR MUÑOZ
UNIVERSIDAD GRANADA (2018)
Pehmeäkantinen kirja

24,20 €

VIRIATO

MAURICIO PASTOR MUÑOZ
ESFERA DE LOS LIBROS (2004)

29,20 €

OBSTÁCULOS EPISTEMOLÓGICOS DE LOS DOCENTES

Mauricio Pablo Gómez Muñoz; Edilma Velásquez J.
EAE (2019)
Pehmeäkantinen kirja

114,70 €

AWS CERTIFIED SECURITY STUDY GUIDE - SPECIALTY (SCS-C01) EXAM

Marcello Zillo Neto; Gustavo A. A. Santana; Fernando Sapata; Mauricio Munoz; Alexandre M. S. P. Moraes; Thiago Morais; Gol
John Wiley & Sons Inc (2021)
Pehmeäkantinen kirja

52,70 €

CORROSION AND RELIABILITY ASSESSMENT OF INSPECTED PIPELINES

Rafael Amaya-Gómez; Emilio Bastidas-Arteaga; Mauricio Sánchez-Silva; Franck Schoefs; Felipe Muñoz
Springer (2023)
Kovakantinen kirja

111,40 €

CORROSION AND RELIABILITY ASSESSMENT OF INSPECTED PIPELINES

Rafael Amaya-Gómez; Emilio Bastidas-Arteaga; Mauricio Sánchez-Silva; Franck Schoefs; Felipe Muñoz
Springer (2024)
Pehmeäkantinen kirja

81,40 €

Hae lisää...

Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Mauricio Ayala-Rincon, Cesar A. Munoz

51,40 €

Springer International Publishing AG
Sivumäärä: 532 sivua
Asu: Pehmeäkantinen kirja
Painos: 2017 ed.
Julkaisuvuosi: 2017, 21.08.2017 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.

The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus