Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Interactive Theorem Proving Sandrine Blazy
Kod Libristo: 01664057
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Diccionario visual inglés / Książka Miękka
common.buy 58.62 zł
Zpět o sto let na výlet Renata Šindelářová / Książka Miękka
common.buy 13.62 zł
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Książka Miękka
common.buy 56.72 zł
TEMARIO DE TROMBON VICENTE MONZO / Książka Miękka
common.buy 1 387.64 zł
Angielski. Przewodnik językowy Patrycja Karnik / Książka Miękka
common.buy 49.70 zł
Clef Junich Tanizaki / Książka Miękka
common.buy 51.11 zł
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Książka Miękka
common.buy 107.23 zł
Coches muy antiguos Ruiz Palacio / Książka Miękka
common.buy 83.58 zł
Der Kreis Husum K. Sönnichsen / Książka Miękka
common.buy 102.12 zł
Kostenfalle Messe? Anja Steinrücken / Książka Miękka
common.buy 218.89 zł
Theaterhandwerk Alan Ayckbourn / Książka Miękka
common.buy 83.58 zł
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Książka Miękka
common.buy 57.22 zł
Laubgewind Jakob Chr. Heer / Książka Miękka
common.buy 113.35 zł
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Książka Miękka
common.buy 68.55 zł
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Książka Miękka
common.buy 68.55 zł
USA und der internationale Klimaschutz Jan Hollmann / Książka Miękka
common.buy 68.55 zł

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Interactive Theorem Proving
Autor Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 498
EAN 9783642396335
ISBN 364239633X
Kod Libristo 01664057
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 777
Wymiary 155 x 235 x 29

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja > Bezpieczeństwo sieciowe
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Bezpieczeństwo informatyczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Interactive Theorem Proving Gerwin Klein / Książka Miękka
common.buy 218.69 zł
Horizons in Cancer Research Hiroto S Watanabe / Książka Twarda
common.buy 1 363.68 zł
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Książka Miękka
common.buy 55.31 zł
Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter / Książka Twarda
common.buy 165.97 zł
How to Write Fanfiction Howexpert Press / Książka Miękka
common.buy 81.68 zł
How Claims Spread Joel Best / Książka Miękka
common.buy 221.69 zł
Tide Running Oonya Kempadoo / Książka Miękka
common.buy 93.20 zł
Journey to Meet Beethoven Pat Champness / Książka Miękka
common.buy 45.99 zł
Teaching Is a Privilege Elizabeth Cervini Manvell / Książka Twarda
common.buy 591.13 zł
Birds of Myanmar Kyaw Nyunt Lwin / Książka Miękka
common.buy 212.77 zł
Beauchamp Hall Danielle Steel / Książka Miękka
common.buy 122.07 zł
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Książka Miękka
common.buy 26.25 zł
Beyond 2.0 Steve Collins / Książka Miękka
common.buy 144.32 zł
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Książka Miękka
common.buy 366.82 zł
Cinema of the 70s: 101 Iconic Movies John H Foote / Książka Miękka
common.buy 89.89 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo