KIRJAUDU

ostoskori

avaa valikko

Christophe Paulin | Akateeminen Kirjakauppa

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

51,40 €

ANTIQUITES DE LA BRETAGNE: MONUMENS DU MORBIHAN (1834)

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

35,90 €

ANTIQUITES DE LA BRETAGNE: MONUMENS DU MORBIHAN (1834)

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

79,10 €

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

44,10 €

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

84,20 €

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

45,40 €

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

G. Bouffard; Christophe Paulin de la Poix Freminville

19,30 €

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

61,00 €

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

26,10 €

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)

82,20 €

ANTIQUITES DE LA BRETAGNE

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

105,10 €

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

44,40 €

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

90,60 €

VOYAGE TO THE NORTH POLE, IN THE FRIGATE THE SYRENE

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

34,10 €

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

65,80 €

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

14,70 €

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

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

47,10 €

LE COMBAT DES TRENTE, POËME DU XIVE SIÈCLE

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

16,10 €

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

22,90 €

WHITE MEN'S DREAMS, BLACK MEN'S BLOOD

Christopher M. Paulin
Africa World Press (2002)
Pehmeäkantinen kirja

58,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

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 280 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006 ed.
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

Myymäläsaatavuus