Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Celý popis
? points 125 b
51.76 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Desarrollar la inteligencia a través del ajedrez José María Olías Porras / Kniha Brožovaná
common.buy 15.59 €
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Kniha Brožovaná
common.buy 13.87 €
Zpět o sto let na výlet Renata Šindelářová / Kniha Brožovaná
common.buy 3.54 €
Diccionario visual inglés / Kniha Brožovaná
common.buy 17.52 €
Zpívat se nepřestane To nejlepší kvintet Spirituál / Audio Audio CD
common.buy 11.84 €
Top
Válka dvou královen Jennifer L. Armentroutová / Kniha Pevná
common.buy 19.85 €
TEMARIO DE TROMBON VICENTE MONZO / Kniha Brožovaná
common.buy 328.21 €
Angielski. Przewodnik językowy Patrycja Karnik / Kniha Brožovaná
common.buy 12.45 €
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Kniha Brožovaná
common.buy 25.21 €
Coches muy antiguos Ruiz Palacio / Kniha Brožovaná
common.buy 19.74 €
Clef Junich Tanizaki / Kniha Brožovaná
common.buy 11.74 €
Der Kreis Husum K. Sönnichsen / Kniha Brožovaná
common.buy 24.20 €
Kostenfalle Messe? Anja Steinrücken / Kniha Brožovaná
common.buy 51.76 €
Pripravujeme
Honigprotokolle Monika Rinck / Kniha Brožovaná
common.buy 16.91 €
Theaterhandwerk Alan Ayckbourn / Kniha Brožovaná
common.buy 19.74 €
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Kniha Brožovaná
common.buy 13.56 €
Laubgewind Jakob Chr. Heer / Kniha Brožovaná
common.buy 26.84 €
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Kniha Brožovaná
common.buy 16.20 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Kniha Brožovaná
common.buy 16.20 €
USA und der internationale Klimaschutz Jan Hollmann / Kniha Brožovaná
common.buy 16.20 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Interactive Theorem Proving
Autor Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2013
Počet strán 498
EAN 9783642396335
ISBN 364239633X
Libristo kód 01664057
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 777
Rozmery 155 x 235 x 29

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Počítačové siete a komunikácia > Zabezpečenie siete
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Počítačová bezpečnosť
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Interactive Theorem Proving Gerwin Klein / Kniha Brožovaná
common.buy 51.76 €
Teaching Is a Privilege Elizabeth Cervini Manvell / Kniha Pevná
common.buy 143.94 €
Jack Sprat Could Sharon Ervin / Kniha Brožovaná
common.buy 13.97 €
Beauchamp Hall Danielle Steel / Kniha Brožovaná
common.buy 28.86 €
International Financial Statistics Locator Domenica M. Barbuto / Kniha Brožovaná
common.buy 33.62 €
How to Write Fanfiction Howexpert Press / Kniha Brožovaná
common.buy 18.33 €
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Kniha Brožovaná
common.buy 12.35 €
Horizons in Cancer Research Hiroto S Watanabe / Kniha Pevná
common.buy 322.54 €
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Kniha Brožovaná
common.buy 5.87 €
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 37.37 €
How Claims Spread Joel Best / Kniha Brožovaná
common.buy 52.47 €
The Story of My Heart: As Rediscovered by Brooke Williams and Terry Tempest Williams Richard Jefferies / Kniha Pevná
common.buy 20.05 €
Tide Running Oonya Kempadoo / Kniha Brožovaná
common.buy 21.16 €
Journey to Meet Beethoven Pat Champness / Kniha Brožovaná
common.buy 10.32 €
Birds of Myanmar Kyaw Nyunt Lwin / Kniha Brožovaná
common.buy 51.45 €
Top
Dividuum Gerald Raunig / Kniha Brožovaná
common.buy 13.16 €
Beyond 2.0 Steve Collins / Kniha Brožovaná
common.buy 32.71 €
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Kniha Brožovaná
common.buy 91.37 €
Routledge History of Twentieth-Century United States Jerald Podair / E-kniha Adobe ePub DRM
common.buy 77.59 €
Cinema of the 70s: 101 Iconic Movies John H Foote / Kniha Brožovaná
common.buy 21.26 €
Actor’s Guide to Corporate Role Play Lowe / Kniha Brožovaná
common.buy 30.69 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?