Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Interactive Theorem Proving

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving Sandrine Blazy
Libristo kód: 01664057
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Diccionario visual inglés / Kniha Brožovaná
common.buy 335 Kč
Zpět o sto let na výlet Renata Šindelářová / Kniha Brožovaná
common.buy 84 Kč
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Kniha Brožovaná
common.buy 341 Kč
TEMARIO DE TROMBON VICENTE MONZO / Kniha Brožovaná
common.buy 7 932 Kč
Angielski. Przewodnik językowy Patrycja Karnik / Kniha Brožovaná
common.buy 320 Kč
Clef Junich Tanizaki / Kniha Brožovaná
common.buy 292 Kč
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Kniha Brožovaná
common.buy 613 Kč
Coches muy antiguos Ruiz Palacio / Kniha Brožovaná
common.buy 478 Kč
Der Kreis Husum K. Sönnichsen / Kniha Brožovaná
common.buy 550 Kč
Kostenfalle Messe? Anja Steinrücken / Kniha Brožovaná
common.buy 1 178 Kč
Theaterhandwerk Alan Ayckbourn / Kniha Brožovaná
common.buy 450 Kč
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Kniha Brožovaná
common.buy 308 Kč
Laubgewind Jakob Chr. Heer / Kniha Brožovaná
common.buy 610 Kč
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Kniha Brožovaná
common.buy 369 Kč
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Kniha Brožovaná
common.buy 369 Kč
USA und der internationale Klimaschutz Jan Hollmann / Kniha Brožovaná
common.buy 369 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Interactive Theorem Proving
Autor Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 498
EAN 9783642396335
ISBN 364239633X
Libristo kód 01664057
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 777
Rozměry 155 x 235 x 29

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Počítačové sítě a komunikace > Zabezpečení sítě
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Počítačová bezpečnost
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Interactive Theorem Proving Gerwin Klein / Kniha Brožovaná
common.buy 1 182 Kč
Horizons in Cancer Research Hiroto S Watanabe / Kniha Pevná
common.buy 7 362 Kč
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Kniha Brožovaná
common.buy 299 Kč
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 / Kniha Pevná
common.buy 903 Kč
How to Write Fanfiction Howexpert Press / Kniha Brožovaná
common.buy 444 Kč
How Claims Spread Joel Best / Kniha Brožovaná
common.buy 1 207 Kč
Tide Running Oonya Kempadoo / Kniha Brožovaná
common.buy 511 Kč
Journey to Meet Beethoven Pat Champness / Kniha Brožovaná
common.buy 250 Kč
Teaching Is a Privilege Elizabeth Cervini Manvell / Kniha Pevná
common.buy 3 379 Kč
Birds of Myanmar Kyaw Nyunt Lwin / Kniha Brožovaná
common.buy 1 160 Kč
Beauchamp Hall Danielle Steel / Kniha Brožovaná
common.buy 658 Kč
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Kniha Brožovaná
common.buy 142 Kč
Beyond 2.0 Steve Collins / Kniha Brožovaná
common.buy 790 Kč
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Kniha Brožovaná
common.buy 2 097 Kč
Cinema of the 70s: 101 Iconic Movies John H Foote / Kniha Brožovaná
common.buy 445 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet