KIRJAUDU

ostoskori

avaa valikko

Mauricio Munoz | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 16 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

49,60 €

SOY LA TUITERA DE MODA - LA HISTORIA DE UNA FEMINISTA

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

10,20 €

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

91,70 €

ELEMENTOS PARA UNA CARACTERIZACIÓN DE LA RURALIDAD

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

90,80 €

SOCIEDAD Y EPIGRAFIA EN GRANADA ENEPOCA ROMANA

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

21,70 €

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

97,90 €

VIRIATO, LA LUCHA POR LA LIBERTAD

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

49,60 €

GRANADA

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

51,00 €

NEURODEGENERACIÓN Y CALCIO INTRACELULAR

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

58,10 €

VIRIATO

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

11,60 €

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

97,90 €

LOS GLADIADORES

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

23,40 €

VIRIATO

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

28,20 €

OBSTÁCULOS EPISTEMOLÓGICOS DE LOS DOCENTES

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

111,40 €

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

51,20 €

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

107,50 €

Hae lisää...

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

Mauricio Ayala-Rincon, Cesar A. Munoz

49,60 €

Springer International Publishing AG
Sivumäärä: 532 sivua
Asu: Pehmeäkantinen kirja
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 | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus