𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 4649 || Proved-Patterns-Based Development for Structured Programs

✍ Scribed by Diekert, Volker; Volkov, Mikhail V.; Voronkov, Andrei

Book ID
121347699
Publisher
Springer Berlin Heidelberg
Year
2007
Tongue
English
Weight
236 KB
Edition
1
Category
Article
ISBN
3540745106

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 3967 || Multi-agent Explicit Knowledge
✍ Grigoriev, Dima; Harrison, John; Hirsch, Edward A. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 403 KB

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. The 35 revised full theory papers and 29 revised application papers together with 3 invited talks address all major areas in computer science are addressed. The theory track d