Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642131816 ISBN 13: 9783642131813
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. The 5th International Computer Science Symposium in Russia (CSR 2010) was held June 16-20, 2010 in Kazan, Russia, hosted by the Institute of Informatics of the Tatarstan Academy of Sciences and the Kazan State University. It was the?fth eventinthe seriesofregularinternationalmeetings,followingCSR2006 in St. Petersburg, CSR 2007 in Ekaterinburg, CSR 2008 in Moscow, and CSR 2009 in Novosibirsk. The opening lecture was given by Alexander Razborov, and seven more invited plenary lectures were given by Susanne Albers, Fedor Fomin, Juraj Hromkovi? c,RichardJozsa,PrabhakarRaghavan,Miklos Santha,and Uwe Scho- . ning. This volume contains all the accepted papers and, at varying detail, the abstracts or extended abstracts of the invited talks. The scope of the proposed topics for the symposium was quite broad and covered basically all areas of the foundationsof(meaning:theoretical)computerscience.Unlikeinpreviousyears, no special application track was scheduled. We received 62 valid submissions in total, and out of these the Program Committee selected 30 for acceptance. Constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Condition: As New. Unread book in perfect condition.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 93.45
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 397 pages. 9.25x6.25x1.00 inches. In Stock.
Language: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642131816 ISBN 13: 9783642131813
Seller: moluna, Greven, Germany
Condition: New. Algorithms for Energy Management.- Sofic and Almost of Finite Type Tree-Shifts.- Proof-Based Design of Security Protocols.- Approximating the Minimum Length of Synchronizing Words Is Hard.- Realizability of Dynamic MSC Languages.- The max quasi-independent .
Language: English
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642131816 ISBN 13: 9783642131813
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 397 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.