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 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Celý popis
? points 267 b
110.44 €
Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

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 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 Matt Kaufmann, Lawrence C. Paulson
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2010
Počet strán 495
EAN 9783642140518
ISBN 3642140513
Libristo kód 01656145
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 759
Rozmery 155 x 238 x 33

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Medicína a ošetrovateľstvo > Klinická a interná medicína > Choroby a poruchy > Imunológia
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 > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
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 > 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
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 and Program Development Yves Bertot / Kniha Pevná
common.buy 120.75 €
Interactive Video Riad Hammoud / Kniha Brožovaná
common.buy 102.86 €
Experimental Robotics Oussama Khatib / Kniha Brožovaná
common.buy 205.53 €
Interactive Theorem Proving Marko Van Eekelen / Kniha Brožovaná
common.buy 55.77 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Kniha Brožovaná
common.buy 55.77 €
You Bantering Me? Chris Hughes / Kniha Brožovaná
common.buy 18.08 €
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Kniha Pevná
common.buy 34.04 €
Rite of Rejection Sarah Negovetich / Kniha Brožovaná
common.buy 11.51 €
Oblomov Ivan Aleksandrovich Goncharov / Kniha Brožovaná
common.buy 9.79 €
Long Life in Florida Hilton Hotema / Kniha Brožovaná
common.buy 30.00 €
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Kniha Brožovaná
common.buy 12.32 €
Annihilation Jeff VanderMeer / Kniha Brožovaná
common.buy 14.24 €
Classification, Disease and Evidence Philippe Huneman / Kniha Brožovaná
common.buy 51.63 €
From The Sun To The Stars James B. Kaler / Kniha Brožovaná
common.buy 33.14 €
Kaylynn's Reading Log Martha Day Zschock / Kniha Brožovaná
common.buy 7.87 €
Village Heroes Meet the Dragon Patti Vincent / Kniha Brožovaná
common.buy 20.30 €
Camping Keith Baker / Kniha Brožovaná
common.buy 5.65 €
Sleeping on a Wire David Grossman / Kniha Brožovaná
common.buy 18.89 €
The Last Midwife Sandra Dallas / Kniha Brožovaná
common.buy 19.59 €
Evolving Human Nutrition Stanley Ulijaszek / Kniha Pevná
common.buy 160.16 €
Chakradance Natalie Southgate / E-kniha Adobe ePub DRM
common.buy 16.56 €
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Kniha Pevná
common.buy 118.32 €
Hidden in Blackness Adaurennaya C Onyewuenyi / Kniha Pevná
common.buy 133.99 €
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Kniha Brožovaná
common.buy 13.33 €

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