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

Foundations of Software Technology and Theoretical Computer Science

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Foundations of Software Technology and Theoretical Computer Science S. Ramesh
Libristo kód: 05274788
Nakladatelství Springer, Berlin, listopadu 1996
This book constitutes the refereed proceedings of the 17th International Conference on Foundations o... Celý popis
? points 154 b
1 540 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

Saxophon spielen - mein schönstes Hobby, 1-2 Tenor-Saxophone, m. Audio-CD Dirko Juchem / Pevná
common.buy 1 006 Kč
Normalien, Vorschriften Und Leits tze Des Verbandes Deutscher Elektrotechniker Eingetragener Verein Georg Dettmar / Brožovaná
common.buy 1 676 Kč
'Partizipation' - Neue Formen der Burgerbeteiligung Thomas Schauf / Brožovaná
common.buy 1 067 Kč
Children's Rights Kate Douglas Smith Wiggin / Brožovaná
common.buy 622 Kč
Count's Millions Emile Gaboriau / Brožovaná
common.buy 912 Kč
Reise um die Welt Berthold Seemann / Brožovaná
common.buy 1 130 Kč
Creating Conditions for Promising Collaboration Edwin Kaats / Brožovaná
common.buy 1 948 Kč
Die verschollenen Fälle. Neue Abenteuer von Sherlock Holmes & Dr. Watson, 5 Audio-CDs Arthur Conan Doyle / Audio CD
common.buy 409 Kč

This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes. TOC:The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.

Informace o knize

Plný název Foundations of Software Technology and Theoretical Computer Science
Autor S. Ramesh, G. Sivakumar
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1997
Počet stran 351
EAN 9783540638766
ISBN 3540638768
Libristo kód 05274788
Nakladatelství Springer, Berlin
Váha 471
Rozměry 156 x 234 x 19

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
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Matematika a věda > Matematika > Diskrétní matematika
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 > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Operační systémy
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