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

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving Matt Kaufmann
Libristo kód: 01656145
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Celý popis
? points 268 b
2 675 Kč
Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Kniha Brožovaná
common.buy 160 Kč
Obstbau E. Voges / Kniha Brožovaná
common.buy 409 Kč
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Kniha Brožovaná
common.buy 915 Kč
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Kniha Brožovaná
common.buy 369 Kč
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Kniha Brožovaná
common.buy 893 Kč
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Kniha Brožovaná
common.buy 771 Kč
Nitra Vladimír Barta / Kniha Pevná
common.buy 692 Kč
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Kniha Kniha
common.buy 252 Kč
Nach Spanien Und Portugal H. Obersteiner / Kniha Brožovaná
common.buy 610 Kč
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Kniha Pevná
common.buy 444 Kč
Top
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Kniha Brožovaná
common.buy 206 Kč
Haltestelle Brussel Hermann Bausinger / Kniha Brožovaná
common.buy 446 Kč
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Kniha Brožovaná
common.buy 1 419 Kč
Politische Gesprache der Toten Anonymus / Kniha Brožovaná
common.buy 813 Kč
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Kniha Brožovaná
common.buy 360 Kč
Solo-Klaviermusik Vol.6 Miklos Spanyi / Audio Audio CD
common.buy 376 Kč
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Kniha Brožovaná
common.buy 358 Kč
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Kniha Brožovaná
common.buy 293 Kč

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Matt Kaufmann, Lawrence C. Paulson
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 495
EAN 9783642140518
ISBN 3642140513
Libristo kód 01656145
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 759
Rozměry 155 x 238 x 33

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
Medicína a ošetřovatelství > Klinická a interní medicína > Nemoci a poruchy > Imunologie
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í > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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 > 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
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 and Program Development Yves Bertot / Kniha Pevná
common.buy 2 762 Kč
Interactive Video Riad Hammoud / Kniha Brožovaná
common.buy 2 357 Kč
Experimental Robotics Oussama Khatib / Kniha Brožovaná
common.buy 4 707 Kč
Interactive Theorem Proving Marko Van Eekelen / Kniha Brožovaná
common.buy 1 352 Kč
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Kniha Brožovaná
common.buy 1 352 Kč
You Bantering Me? Chris Hughes / Kniha Brožovaná
common.buy 437 Kč
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Kniha Pevná
common.buy 784 Kč
Rite of Rejection Sarah Negovetich / Kniha Brožovaná
common.buy 279 Kč
Oblomov Ivan Aleksandrovich Goncharov / Kniha Brožovaná
common.buy 237 Kč
Long Life in Florida Hilton Hotema / Kniha Brožovaná
common.buy 728 Kč
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Kniha Brožovaná
common.buy 299 Kč
Annihilation Jeff VanderMeer / Kniha Brožovaná
common.buy 345 Kč
Classification, Disease and Evidence Philippe Huneman / Kniha Brožovaná
common.buy 1 182 Kč
From The Sun To The Stars James B. Kaler / Kniha Brožovaná
common.buy 804 Kč
Kaylynn's Reading Log Martha Day Zschock / Kniha Brožovaná
common.buy 191 Kč
Village Heroes Meet the Dragon Patti Vincent / Kniha Brožovaná
common.buy 491 Kč
Camping Keith Baker / Kniha Brožovaná
common.buy 138 Kč
Sleeping on a Wire David Grossman / Kniha Brožovaná
common.buy 458 Kč
The Last Midwife Sandra Dallas / Kniha Brožovaná
common.buy 475 Kč
Evolving Human Nutrition Stanley Ulijaszek / Kniha Pevná
common.buy 3 879 Kč
Chakradance Natalie Southgate / E-kniha Adobe ePub DRM
common.buy 402 Kč
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Kniha Pevná
common.buy 2 867 Kč
Hidden in Blackness Adaurennaya C Onyewuenyi / Kniha Pevná
common.buy 3 245 Kč
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Kniha Brožovaná
common.buy 301 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