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

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
223.38 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Książka Twarda
common.buy 341.31 zł
Historien Tacitus / Książka Twarda
common.buy 95.20 zł
Psí průšviháři - Nenapravitelný boxer Tui T. Sutherland / Książka Miękka
common.buy 31.22 zł
Karl der Grosse und die Mauren Robert Schneider / Książka Miękka
common.buy 70.02 zł
Le Manuscrit cathare M.J. Rose / Książka Miękka
common.buy 88.65 zł
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Książka binding.
common.buy 107.38 zł
No God in Eden 02 Diana Hesse / Książka Miękka
common.buy 31.83 zł
Var tids vagpirater stal mobiltelefoner Diverse / E-book Adobe ePub DRM
common.buy 17.50 zł
Laubsäge-Vorlage Bea - das freche Schaf / Gra/Zabawka Zabawka
common.buy 57.73 zł
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Gra/Zabawka Gra
common.buy 148.33 zł
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Książka Miękka
common.buy 453.21 zł
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Książka Miękka
common.buy 104.31 zł
Klementina von Porretta Christoph Martin Wieland / Książka Miękka
common.buy 39.10 zł
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Książka Miękka
common.buy 142.60 zł
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Książka Miękka
common.buy 138.81 zł
Strandgut Tanja Korf / Książka Miękka
common.buy 39.51 zł
Live-Arrangement, m. DVD Jürgen Terhag / Książka Miękka
common.buy 105.75 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ć

Antiviral Agents Ernst Jucker / Książka Miękka
common.buy 223.38 zł
Bedouins into Bourgeois Calvert W. Jones / Książka Twarda
common.buy 576.68 zł
Deus Comedieta Tade Bolade / Książka Miękka
common.buy 53.43 zł
Botanical, 20 Umschläge Pepin van Roojen / Książka Miękka
common.buy 65.92 zł
The Smile of the Sphinx Marguerite Bouvet / Książka Miękka
common.buy 118.34 zł
Biocalorimetry Margarida Bastos / Książka Twarda
common.buy 1 204.96 zł
Questions and Answers for Dental Nurses Carole Hollins / E-book Adobe ePub DRM
common.buy 146.70 zł
Harmony in Chopin David Damschroder / Książka Miękka
common.buy 208.02 zł
Childbirth Trauma Stergios K Doumouchtsis / Książka Twarda
common.buy 740.68 zł
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Książka Twarda
common.buy 398.13 zł
God's Not Dead Adult Study Guide Rice Broocks / Książka Miękka
common.buy 41.76 zł
Brooklyn Heights Sublet Jonah Cohen / Książka Miękka
common.buy 105.44 zł
And All for What? D.W.J. Cuddeford / Książka Twarda
common.buy 202.49 zł
Poetry of Being Vaidehi Raipat / Książka Miękka
common.buy 27.84 zł
Stagecoach of Mariah Sandra K Lee / Książka Miękka
common.buy 109.02 zł
It All Started with Gogol Thomas L Aman / Książka Twarda
common.buy 113.63 zł
Jutland 1916 Charles London / Książka Miękka
common.buy 88.65 zł
Machine James Smythe / Książka Miękka
common.buy 53.74 zł
Who is Jesus? Thomas P. Rausch / Książka Miękka
common.buy 91.52 zł
Encyclopedia of Mystics, Saints & Sages Judika Illes / Książka Twarda
common.buy 114.34 zł
Making Divorce Work Keith Barret / Książka Miękka
common.buy 39.71 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?