phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Theoretical Aspects of Computing - ICTAC 2005

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Theoretical Aspects of Computing - ICTAC 2005 Dang Van Hung
Libristo kód: 01561192
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, října 2005
This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical... Celý popis
? points 304 b
3 037 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Metamorphosen im Fleischwolf. Neue Fabeln fur Verwachsene Hartwig Stein / Brožovaná
common.buy 385 Kč
Scientific Procedures L. Tondl / Pevná
common.buy 5 039 Kč
BAUKULTUR VERKEHR Michael Braum / Pevná
common.buy 1 156 Kč
Social Media Marketing - Bedarf, Herausforderungen und Marktpotential fur Beratungsdienstleistungen Michael Gauch / Brožovaná
common.buy 1 211 Kč
Yes I Can!: A Story of Grit Mari Schuh / Pevná
common.buy 786 Kč
Theocritus, Translated Into English Verse heocritus / Brožovaná
common.buy 622 Kč
Crocodile's Sore Tooth Lunda version Fundisile GwazubeThomson Kambangaji / Brožovaná
common.buy 157 Kč

This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005.§The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.

Informace o knize

Plný název Theoretical Aspects of Computing - ICTAC 2005
Autor Dang Van Hung, Martin Wirsing
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2005
Počet stran 618
EAN 9783540291077
ISBN 3540291075
Libristo kód 01561192
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1940
Rozměry 152 x 229 x 34

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
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
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

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