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.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569227
Price: 2357 CZK
Availability: InStock
Author: Jacques Duparc
ISBN: 9783540749141

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Jacques Duparc

Thomas A. Henzinger

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01569227

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

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc... Celý popis

Libristo kód: 01569227

236 b

2 357 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

La caida Dan Simmons

Brožovaná

425 Kč

Come funziona il caos. Dal moto dei pianeti all'effetto farfalla Ivar Ekeland

Brožovaná

316 Kč

Legie plamenů Anthony Ryan

Pevná

337 Kč

Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller

Brožovaná

813 Kč

C'est l'heure du bain, petit lion Gomi

Brožovaná

401 Kč

MAQUINAS O ABOGADOS CONFLICTOS EN LA FRONTERA TECNOLOGICA ADOLFO MENENDEZ

Brožovaná

663 Kč

Полезные машины Елена Хомич

Pevná

799 Kč

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.

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 Computer Science Logic

Autor Jacques Duparc, Thomas A. Henzinger

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2007

Počet stran 600

EAN 9783540749141

ISBN 3540749144

Libristo kód 01569227

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

Váha 932

Rozměry 155 x 235 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

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í > 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 > 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