KIRJAUDU

ostoskori

avaa valikko

Blanchette | Akateeminen Kirjakauppa

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

INTERACTIVE THEOREM PROVING - 7TH INTERNATIONAL CONFERENCE, ITP 2016, NANCY, FRANCE, AUGUST 22-25, 2016, PROCEEDINGS

Jasmin Christian Blanchette; Stephan Merz
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

51,40 €

GROWERTALKS ON PERENNIALS

Rick Blanchette
Ball Publishing (2002)
Pehmeäkantinen kirja

69,00 €

LITTLE CANUCK - THE ADVENTURES OF AN IMMIGRANT BOY FROM QUÉBEC

Michel A Blanchette
iUniverse (2005)
Pehmeäkantinen kirja

20,50 €

12 EASY KNITTING PROJECTS

Peg Blanchette; Terri Thibault
WILLIAMSON PUB CO (2006)
Kovakantinen kirja

42,90 €

12 EASY KNITTING PROJECTS

Peg Blanchette; Terri Thibault
WILLIAMSON PUB CO (2006)
Pehmeäkantinen kirja

37,60 €

C++ GUI PROGRAMMIERUNG MIT QT 4

Jasmin Blanchette; Mark Summerfield
Addison Wesley Verlag (2006)
Kovakantinen kirja

93,90 €

GREEN PROFIT ON RETAILING

Rick Blanchette; Jayne VanderVelde
Ball Publishing (2000)
Pehmeäkantinen kirja

68,50 €

THE PYGMALION EFFECT

Blanchette; Jeremy
Lulu.com (2006)
Pehmeäkantinen kirja

46,40 €

PREVENTION OF THE DISEASE OF AGING

Katherine Blanchette; M. D. Katherine Blanchette
XULON PR (2007)
Pehmeäkantinen kirja

45,80 €

PREVENTION OF THE DISEASE OF AGING

M D Katherine Blanchette
Xulon Press (2007)
Kovakantinen kirja

58,40 €

12 EASY KNITTING PROJECTS

Peg Blanchette; Terri Thibault
Tandem Library (2006)
Kovakantinen kirja

55,40 €

C++ GUI PROGRAMMIERUNG MIT QT 4

Jasmin Blanchette; Mark Summerfield
Addison Wesley Verlag (2008)
Kovakantinen kirja

107,50 €

MAURICE BLONDEL - A PHILOSOPHICAL LIFE

Oliva Blanchette
William B Eerdmans Publishing Co (2010)
Pehmeäkantinen kirja

51,10 €

BURDENS OF PROOF - CRYPTOGRAPHIC CULTURE AND EVIDENCE LAW IN THE AGE OF ELECTRONIC DOCUMENTS

Jean-François Blanchette
MIT Press Ltd (2012)
Kovakantinen kirja

12,70 €

FREGE'S CONCEPTION OF LOGIC

Patricia A. Blanchette
Oxford University Press Inc (2012)
Kovakantinen kirja

104,10 €

MARCELLE BLANCHETTE

Marcelle Blanchette
Golden Dog Press (2001)
Pehmeäkantinen kirja

53,50 €

EMOTION AND REASONING

Isabelle Blanchette
Taylor & Francis Ltd (2013)
Kovakantinen kirja

120,90 €

EMOTION AND REASONING

Isabelle Blanchette
Taylor & Francis Ltd (2013)
Pehmeäkantinen kirja

37,70 €

DEFENSE MECHANISMS OF WOODY PLANTS AGAINST FUNGI

Robert A. Blanchette; Alan R. Biggs
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

101,40 €

CANADIAN FOREIGN POLICY, 1955-1965 - SELECTED SPEECHES AND DOCUMENTS

Blanchette
Carleton University Press,Canada (1977)
Pehmeäkantinen kirja

30,10 €

Hae lisää...

Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Jasmin Christian Blanchette, Stephan Merz

51,40 €

Springer International Publishing AG
Sivumäärä: 502 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2016
Julkaisuvuosi: 2016, 07.08.2016 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 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