KIRJAUDU

ostoskori

avaa valikko

Christophe Paulin | Akateeminen Kirjakauppa

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

TYPES FOR PROOFS AND PROGRAMS - INTERNATIONAL WORKSHOP, TYPES 2004, JOUY-EN-JOSAS, FRANCE, DECEMBER 15-18, 2004, REVISED SELECTE

Jean-Christophe Filliatre; Christine Paulin-Mohring; Benjamin Werner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

49,60 €

ANTIQUITES DE LA BRETAGNE: MONUMENS DU MORBIHAN (1834)

Christophe-Paulin De La Poix Freminvil
KESSINGER PUB CO (2010)
Pehmeäkantinen kirja

33,40 €

ANTIQUITES DE LA BRETAGNE: MONUMENS DU MORBIHAN (1834)

Christophe-Paulin De La Poix Freminvil
KESSINGER PUB CO (2010)
Kovakantinen kirja

75,00 €

HISTOIRE DE BERTRAND DU GUESCLIN ...: CONSIDRE PRINCIPALEMENT SOUS LE RAPPORT STRATGIQUE, POLIORCTIQUE ET MILITAIRE ... DESTINE

De La Frminville; Christophe-Paulin Po
Nabu Press (2010)
Pehmeäkantinen kirja

41,20 €

HISTOIRE DE BERTRAND DU GUESCLIN ... CONSIDRE PRINCIPALEMENT SOUS LE RAPPORT STRATGIQUE, POLIORCTIQUE ET MILITAIRE EN GENERAL

De La Poix; Christophe Paulin
Nabu Press (2010)
Pehmeäkantinen kirja

79,70 €

VOYAGE TO THE NORTH POLE, IN THE FRIGATE THE SYRENE: INCLUDING A PHYSICAL AND GEOGRAPHICAL NOTICE RELATIVE TO THE ISLAND OF ICEL

De La Frminville; Christophe-Paulin Po
Nabu Press (2010)
Pehmeäkantinen kirja

43,80 €

HISTOIRE DE BERTRAND DU GUESCLIN .: CONSIDRE PRINCIPALEMENT SOUS LE RAPPORT STRATGIQUE .

G. Bouffard; Christophe Paulin de la Poix Freminville

18,90 €

HISTOIRE DE BERTRAND DU GUESCLIN; CONSIDEREE PRINCIPALEMENT SOUS LE RAPPORT STRATEGIQUE, POLIORCETIQUE ET MILITAIRE ... DESTINEE

Christophe-Paulin De Freminville
LIFE JOURNEY (2013)
Pehmeäkantinen kirja

58,10 €

A VOYAGE TO HUDSON'S BAY DURING THE SUMMER OF 1812: CONTAINING A PARTICULAR ACCOUNT OF THE ICEBERGS AND OTHER PHENOMENA WHICH PR

Thomas M'Keevor; Christophe-Paulin de La Poix de Fréminville
Cambridge University Press (2014)
Pehmeäkantinen kirja

25,50 €

VOYAGE TO THE NORTH POLE IN THE FRIGATE THE SYRENE INCLUDING A PHYSICAL AND GEOGRAPHICAL NOTICE RELATIVE TO THE ISLAND OF ICELAN

Christophe-Paulin De La Po Freminville
Book on Demand Ltd. (2013)

80,40 €

ANTIQUITES DE LA BRETAGNE

Christophe-Paulin De La Po Freminville
Book on Demand Ltd. (2015)

102,60 €

VOYAGE TO THE NORTH POLE - IN THE FRIGATE THE SYRENE; INCLUDING A PHYSICAL AND GEOGRAPHICAL NOTICE RELATIVE TO THE ISLAND OF ICE

Christophe-Paulin De La Poix
Forgotten Books (2016)
Pehmeäkantinen kirja

43,70 €

HISTOIRE DE BERTRAND DU GUESCLIN ...: CONSIDÉRÉE PRINCIPALEMENT SOUS LE RAPPORT STRATÉGIQUE, POLIORCÉTIQUE ET MILITAIRE ... DEST

de la Fréminville; Christophe-Paulin Po
LIGHTNING SOURCE INC (2016)
Kovakantinen kirja

88,20 €

VOYAGE TO THE NORTH POLE, IN THE FRIGATE THE SYRENE

de la Fréminville; Christophe-Paulin Po
Creative Media Partners, LLC (2016)
Kovakantinen kirja

31,60 €

VOYAGE TO THE NORTH POLE, IN THE FRIGATE THE SYRENE: INCLUDING A NOTICE RELATIVE TO THE ISLAND OF ICELAND

Johanna Franul Von Weissenthurn; Christophe Paulin De La Poix
LIGHTNING SOURCE INC (2016)
Kovakantinen kirja

64,20 €

NOTICE SUR QUELQUES MONUMENTS DE L'ORDRE DES TEMPLIERS DANS LE DÉPARTEMENT DES CÔTES-DU-NORD

de la Poix Fréminville; Christophe-Paulin
Hachette Livre - BNF (2016)
Pehmeäkantinen kirja

13,70 €

MEMOIRES DU CHEVALIER DE FREMINVILLE, 1787-1848 (CLASSIC REPRINT)

Christophe-Paulin De La Po Freminville
Forgotten Books (2017)
Pehmeäkantinen kirja

46,30 €

LE COMBAT DES TRENTE, POËME DU XIVE SIÈCLE - TRANSCRIT SUR LE MANUSCRIT ORIGINAL CONSERVÉ À LA BIBLIOTHÈQUE DU ROI ET ACCOMPAGNÉ

de la Poix Fréminville; Christophe-Paulin
Hachette Livre - BNF (2017)
Pehmeäkantinen kirja

15,00 €

A VOYAGE TO HUDSON'S BAY DURING THE SUMMER OF 1812 [MICROFORM]: CONTAINING A PARTICULAR ACCOUNT OF THE ICEBERGS AND OTHER PHENOM

Thomas M'Keevor; Christophe Paulin de la Fremenville
Creative Media Partners, LLC (2021)
Pehmeäkantinen kirja

21,30 €

MÉMOIRES DU CHEVALIER DE FRÉMINVILLE, 1787-1848. [PAR] E. HERPIN

Christophe-Paulin de la Po Fréminville; Eugène Herpin
Legare Street Press (2022)
Pehmeäkantinen kirja

29,70 €

Hae lisää...

Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selecte

Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 280 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006
Julkaisuvuosi: 2006, 25.01.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus