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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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ů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Coches muy antiguos Ruiz Palacio / Kniha Brožovaná
common.buy 479 Kč
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 335 Kč
TEMARIO DE TROMBON VICENTE MONZO / Kniha Brožovaná
common.buy 7 930 Kč
Angielski. Przewodnik językowy Patrycja Karnik / Kniha Brožovaná
common.buy 301 Kč
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Kniha Brožovaná
common.buy 610 Kč
Desarrollar la inteligencia a través del ajedrez José María Olías Porras / Kniha Brožovaná
common.buy 377 Kč
Clef Junich Tanizaki / Kniha Brožovaná
common.buy 288 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č
Připravujeme
Honigprotokolle Monika Rinck / Kniha Brožovaná
common.buy 383 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č
Birds of Myanmar Kyaw Nyunt Lwin / Kniha Brožovaná
common.buy 1 187 Kč
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Kniha Brožovaná
common.buy 299 Kč
Horizons in Cancer Research Hiroto S Watanabe / Kniha Pevná
common.buy 7 361 Kč
How to Write Fanfiction Howexpert Press / Kniha Brožovaná
common.buy 444 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č
International Financial Statistics Locator Domenica M. Barbuto / Kniha Brožovaná
common.buy 813 Kč
How Claims Spread Joel Best / Kniha Brožovaná
common.buy 1 207 Kč
Beauchamp Hall Danielle Steel / Kniha Brožovaná
common.buy 658 Kč
The Story of My Heart: As Rediscovered by Brooke Williams and Terry Tempest Williams Richard Jefferies / Kniha Pevná
common.buy 457 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 305 Kč
Jack Sprat Could Sharon Ervin / Kniha Brožovaná
common.buy 337 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č
Actor’s Guide to Corporate Role Play Lowe / Kniha Brožovaná
common.buy 738 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?