Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

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č

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Automated Deduction - CADE-17

Name: Automated Deduction - CADE-17
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567456
Price: 1182 CZK
Availability: InStock
Author: David McAllester
ISBN: 9783540676645

17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

David McAllester

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01567456

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2000

This book constitutes the refereed proceedings of the 17th International Conference on Automated Ded... Celý popis

Libristo kód: 01567456

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

Poverhnostno-aktivnye veshhestva v ob#ektah okruzhajushhej sredy E.Yu. Shachneva

Brožovaná

813 Kč

Capo Verde

Brožovaná

417 Kč

Kdo umyje nádobí?

Hra

238 Kč

La voz de la conciencia ESTEBAN DUQUE

Brožovaná

556 Kč

Scooby-Doo! i szalejący karateka James Gelsey

Brožovaná

97 Kč

Die chinesischen und mandschurischen Zierschriften Giovanni Stary

Brožovaná

822 Kč

Wannseekonferenz Peter Longerich

Brožovaná

317 Kč

Marek a jeho písničky

Audio CD

233 Kč

Cuánto Sabes De... Fútbol Americano Indoor Wanceulen Notebook

Brožovaná

252 Kč

This book constitutes the refereed proceedings of the 17th International Conference on Automated Deduction, CADE-17, held in Pittsburgh, Pennsylvania, USA, in June 2000.§The 24 revised full research papers and 15 system descriptions presented were carefully reviewed and selected from 53 paper submissions and 20 system description submissions. Also included are contributions corresponding to invited talks and tutorials. The accepted papers cover a variety of topics related to theorem proving and its applications such as proof-carrying code, cryptographic protocol verification, model checking, cooperating decision procedures, program verification, and resolution.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Automated Deduction - CADE-17

Autor David McAllester

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2000

Počet stran 526

EAN 9783540676645

ISBN 3540676643

Libristo kód 01567456

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 819

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 > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech

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 > Počítačové programování/softwarové inženýrství