𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 4649 || Reversible Machine Code and Its Abstract Processor Architecture

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

Book ID
120271992
Publisher
Springer Berlin Heidelberg
Year
2007
Weight
259 KB
Category
Article
ISBN
3540745106

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 4649 || Proved-Patterns-Based Development for Structured Programs
✍ Diekert, Volker; Volkov, Mikhail V.; Voronkov, Andrei 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 236 KB

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

[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