Computer Science - Theory and Applications (e-bog) af -
Voronkov, Andrei (redaktør)

Computer Science - Theory and Applications e-bog

436,85 DKK (inkl. moms 546,06 DKK)
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 t...
E-bog 436,85 DKK
Forfattere Voronkov, Andrei (redaktør)
Forlag Springer
Udgivet 22 august 2007
Genrer PSAX
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783540745105
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.