KIRJAUDU

ostoskori

avaa valikko

De Moura | Akateeminen Kirjakauppa

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

AUTOMATED DEDUCTION – CADE 26 - 26TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, GOTHENBURG, SWEDEN, AUGUST 6–11, 2017, PRO

Leonardo de Moura
Springer International Publishing AG (2017)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

78,60 €

ADUBAÇÃO NITROGENADA EM MARACUJAZEIRO AMARELO

Regiana Dos Santos Moura; Everaldo M Da Silva; Tiago M de Sousa
Novas Edicoes Academicas (2020)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

65,50 €

RELATORIO DA MISSO DE PROPAGANDA E DE DEFEZA DA PRODUCO DO RIO GRANDE DO SUL NO NORTE DA REPUBLICA PELO COMMISSARIO OFFICIAL MAJ

De Moura; Euclydes B.
Nabu Press (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

23,80 €

ENSAIOS ECONMICOS E APRECIAES PRTICAS SOBRE O ESTADO FINANCEIRO DO BRAZIL

De Moura; Francisco Amyntas Carvalho
Nabu Press (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

43,80 €

LOS LUSIADAS DE LUIS DE CAMOENS: SEGUN LA ULTIMA EDICION CORRECTA

Lus De Cames; Caetano Lopes De Moura
Nabu Press (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

41,20 €

OS LUSIADAS

Lus De Cames; Caetano Lopes De Moura
Nabu Press (2010)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

68,60 €

OBRAS

De Moura; Francisco Child Rolim
Nabu Press (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

21,90 €

OBRAS

De Moura; Francisco Child Rolim
Nabu Press (2010)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

57,80 €

EMMA: OU, A ESPERANA E A TUMBA, COM AS CARTAS DE SILVANO E LILIA, SEGUIDAS DE OUTRAS POESIAS

De Moura; Nuno Maria Sousa
Nabu Press (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

18,30 €

LOS LUSIADAS DE LUIS DE CAMOENS: SEGUN LA ULTIMA EDICION CORRECTA

Lus De Cames; Caetano Lopes De Moura; Manuel Aranda y. San Juan
Nabu Press (2010)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

66,20 €

COMPENDIO DE GRAMMATICA LATINA E PORTUGUEZA (1850)

De Moura; Jose Vicente Gomes
Kessinger Publishing (2010)
Saatavuus: Hankintapalvelu
Kovakantinen kirja

79,20 €

VESTIGIOS DA LINGOA ARABICA EM PORTUGAL: OU, LEXICON ETYMOLOGICO DAS PALAVRAS, E NOMES PORTUGUEZES, QUE TEM ORIGEM ARABICA

Joao De Sousa; Jose Santo Antonio De Moura
Nabu Press (2009)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

57,80 €

THE COURANT–FRIEDRICHS–LEWY (CFL) CONDITION : 80 YEARS AFTER ITS DISCOVERY

Carlos A. de Moura (ed.); Carlos S. Kubrusly (ed.)
Birkhäuser (2012)
Saatavuus: Tilaustuote
Kovakantinen kirja

49,60 €

BRAZIL'S IMAGE AND THE ATTITUDE TOWARD BRAZILIAN PRODUCTS

Janaina De Moura Engracia Giraldi
VDM Verlag (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

70,80 €

DESIGNING E-LEARNING APPLICATIONS

de Moura Filho; César Olavo
LAP Lambert Academic Publishing (2009)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

95,30 €

LES TAPUIOS DU CARRETAO

de Moura-M
Omniscriptum (2018)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

150,80 €

THE COUNTRY-OF-ORIGIN EFFECT FOR THE BRAZILIAN BEEF IN EUROPE

Fernanda De Tavares Canto Guina; Janaina De Moura Engracia Giraldi
LAP Lambert Academic Publishing (2011)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

95,30 €

POÉTICAS ORAIS - SOPROS "ANÔNIMOS" DE VIDA LITERÁRIA

de Moura Possas Hiran
Novas Edicoes Academicas (2014)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

43,10 €

MECENATO - ATORES, OBJETOS E PRÁTICAS

de Moura Luanda
Novas Edicoes Academicas (2015)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

78,00 €

EMBALAGENS NA INDÚSTRIA TÊXTIL- PERSPECTIVAS LOGÍSTICA E AMBIENTAL

de Moura Andrade Douglas
Novas Edicoes Academicas (2015)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

65,50 €

Hae lisää...

Automated Deduction – CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Pro

Leonardo de Moura

78,60 €

Springer International Publishing AG
Sivumäärä: 582 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2017
Julkaisuvuosi: 2017, 11.07.2017 (lisätietoa)
Kieli: Englanti

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017.
The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.

The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus