Computer Science - Theory and Applications von Volker (Hrsg.) Diekert

Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
CHF 69.00 inkl. MwSt.
ISBN: 978-3-540-74509-9
Einband: Kartonierter Einband (Kt)
Verfügbarkeit: in der Regel innert 5 Werktagen lieferbar. Abweichungen werden nach Bestelleingang per Mail gemeldet.
+ -

This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.

This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.

AutorDiekert, Volker (Hrsg.) / Voronkov, Andrei (Hrsg.) / Volkov, Mikhail (Hrsg.)
EinbandKartonierter Einband (Kt)
Erscheinungsjahr2007
Seitenangabe436 S.
LieferstatusFolgt in ca. 5 Arbeitstagen
AusgabekennzeichenEnglisch
AbbildungenPaperback
MasseH23.5 cm x B15.5 cm x D2.4 cm 657 g
Auflage2007
ReiheTheoretical Computer Science and General Issues
Verlagsartikelnummer12113064
VerlagSpringer Berlin Heidelberg

Weitere Titel von Volker (Hrsg.) Diekert