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.

STACS 2007

Name: STACS 2007
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568161
Price: 2646 CZK
Availability: InStock
Author: Wolfgang Thomas
ISBN: 9783540709176

24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings

Wolfgang Thomas

Pascal Weil

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01568161

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

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects o... Celý popis

Libristo kód: 01568161

265 b

2 646 Kč

Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Der Weg William Paul Young

Brožovaná

359 Kč

El tresor de Sierra Madre Traven

Brožovaná

267 Kč

SAFAREIG CARLES DURA I HERRERO

Brožovaná

312 Kč

CELSO EMILIO FERREIRO PEPE CARREIRO

Pevná

263 Kč

kontrare Sexualempfindung Albert Moll

Brožovaná

833 Kč

Raketenlexikon Bernd Leitenberger

Brožovaná

612 Kč

This book constitutes the refereed proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2007, held in Aachen, Germany in February 2007.§The 56 revised full papers presented together with 3 invited papers were carefully reviewed and selected from about 400 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, logic in computer science, semantics, specification, and verification of programs, rewriting and deduction, as well as current challenges like biological computing, quantum computing, and mobile and net computing.