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 Kurier 12.99 zł Punkt DPD 11.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
223.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Coches muy antiguos Ruiz Palacio / Książka Miękka
common.buy 85.81 zł
Diccionario visual inglés / Książka Miękka
common.buy 60.14 zł
TOP
Zpět o sto let na výlet Renata Šindelářová / Książka Miękka
common.buy 13.95 zł
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Książka Miękka
common.buy 57.89 zł
TEMARIO DE TROMBON VICENTE MONZO / Książka Miękka
common.buy 1 304.39 zł
Angielski. Przewodnik językowy Patrycja Karnik / Książka Miękka
common.buy 50.90 zł
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Książka Miękka
common.buy 99.46 zł
Desarrollar la inteligencia a través del ajedrez José María Olías Porras / Książka Miękka
common.buy 61.27 zł
Clef Junich Tanizaki / Książka Miękka
common.buy 51.73 zł
Der Kreis Husum K. Sönnichsen / Książka Miękka
common.buy 104.59 zł
Kostenfalle Messe? Anja Steinrücken / Książka Miękka
common.buy 224.18 zł
Zapowiedź
Honigprotokolle Monika Rinck / Książka Miękka
common.buy 73.28 zł
Theaterhandwerk Alan Ayckbourn / Książka Miękka
common.buy 85.60 zł
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Książka Miękka
common.buy 58.60 zł
Laubgewind Jakob Chr. Heer / Książka Miękka
common.buy 116.09 zł
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Książka Miękka
common.buy 70.20 zł
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Książka Miękka
common.buy 70.20 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 223.98 zł
Birds of Myanmar Kyaw Nyunt Lwin / Książka Miękka
common.buy 225.21 zł
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Książka Miękka
common.buy 56.65 zł
Horizons in Cancer Research Hiroto S Watanabe / Książka Twarda
common.buy 1 396.67 zł
How to Write Fanfiction Howexpert Press / Książka Miękka
common.buy 83.65 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 169.98 zł
International Financial Statistics Locator Domenica M. Barbuto / Książka Miękka
common.buy 144.01 zł
How Claims Spread Joel Best / Książka Miękka
common.buy 227.06 zł
Beauchamp Hall Danielle Steel / Książka Miękka
common.buy 125.02 zł
The Story of My Heart: As Rediscovered by Brooke Williams and Terry Tempest Williams Richard Jefferies / Książka Twarda
common.buy 86.73 zł
Tide Running Oonya Kempadoo / Książka Miękka
common.buy 95.46 zł
Journey to Meet Beethoven Pat Champness / Książka Miękka
common.buy 47.11 zł
Teaching Is a Privilege Elizabeth Cervini Manvell / Książka Twarda
common.buy 592.19 zł
Jack Sprat Could Sharon Ervin / Książka Miękka
common.buy 63.43 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.88 zł
Beyond 2.0 Steve Collins / Książka Miękka
common.buy 147.81 zł
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Książka Miękka
common.buy 375.70 zł
Cinema of the 70s: 101 Iconic Movies John H Foote / Książka Miękka
common.buy 92.07 zł
Actor’s Guide to Corporate Role Play Lowe / Książka Miękka
common.buy 138.67 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?