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

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Interactive Theorem Proving Christian Urban
Kod Libristo: 09378411
Wydawnictwo Springer International Publishing AG, sierpień 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Cały opis
? points 125 b
219.15 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Książka Miękka
common.buy 139.90 zł
Klementina von Porretta Christoph Martin Wieland / Książka Miękka
common.buy 38.36 zł
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Książka Miękka
common.buy 136.19 zł
Strandgut Tanja Korf / Książka Miękka
common.buy 38.76 zł
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Książka Miękka
common.buy 102.34 zł
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Książka Miękka
common.buy 357.95 zł
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Gra/Zabawka Gra
common.buy 145.73 zł
Laubsäge-Vorlage Bea - das freche Schaf / Gra/Zabawka Zabawka
common.buy 56.64 zł
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Prasa Nuty
common.buy 111.88 zł
Le Manuscrit cathare M.J. Rose / Książka Miękka
common.buy 87.47 zł
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Książka Twarda
common.buy 334.85 zł
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Książka binding.
common.buy 105.15 zł

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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 Christian Urban, Xingyuan Zhang
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 469
EAN 9783319221014
ISBN 3319221019
Kod Libristo 09378411
Wydawnictwo Springer International Publishing AG
Waga 7256
Wymiary 155 x 235 x 28

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ć

Machine James Smythe / Książka Miękka
common.buy 52.72 zł
The Smile of the Sphinx Marguerite Bouvet / Książka Miękka
common.buy 116.10 zł
Bedouins into Bourgeois Calvert W. Jones / Książka Twarda
common.buy 565.76 zł
Deus Comedieta Tade Bolade / Książka Miękka
common.buy 52.42 zł
Biocalorimetry Margarida Bastos / Książka Twarda
common.buy 1 182.15 zł
Harmony in Chopin David Damschroder / Książka Miękka
common.buy 204.08 zł
Childbirth Trauma Stergios K Doumouchtsis / Książka Twarda
common.buy 640.59 zł
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Książka Twarda
common.buy 390.59 zł
God's Not Dead Adult Study Guide Rice Broocks / Książka Miękka
common.buy 40.97 zł
Brooklyn Heights Sublet Jonah Cohen / Książka Miękka
common.buy 118.31 zł
Antiviral Agents Ernst Jucker / Książka Miękka
common.buy 219.15 zł
Making Divorce Work Keith Barret / Książka Miękka
common.buy 38.96 zł
Who is Jesus? Thomas P. Rausch / Książka Miękka
common.buy 89.78 zł
It All Started with Gogol Thomas L Aman / Książka Twarda
common.buy 111.48 zł
Stagecoach of Mariah Sandra K Lee / Książka Miękka
common.buy 106.96 zł
Poetry of Being Vaidehi Raipat / Książka Miękka
common.buy 27.31 zł
And All for What? D.W.J. Cuddeford / Książka Twarda
common.buy 198.66 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?