This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Andrei Ershov Memorial Conference, PSI 2006, held in Akademgorodok, Novosibirsk, Russia in June 2006. The 30 revised full papers and 10 revised short papers presented together with 5 invited papers address all current aspects of theoretical computer science, programming methodology, and new information technologies.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
global idleness, interruptible activity regions, local idleness, instruction set selection, mobile anibients, generalized soundness, partial chase, constructor skeleton, idleness detection, refactoring rules, computability statements, structural synthesis rules, cylindrical cell decomposition, problem prb, vertical block matrix, perfect process tree, information state updates, one recursive rule, universal resolving algorithm, semantic preservation, stable event structures, state homomorphism, synchronised product, upper context, information processing layer Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, Lecture Notes, Slot Val, Springer Verlag, New York, Artificial Intelligence, Computer Society, International Symposium, John Wiley, Russian Academy of Sciences, Cambridge University Press, Soren Auer, European Conference, Introducing Debugging Capabilities, Perspectives of System Informatics, Tagged Huffman, Computer Security Foundations Workshop, Industrial Software Standards Enforcement, Inverse Computation of Lazy Languages, Journal of Logic Programming, Plain Huffman, Robust Data Mining Method Using, Rutgers University, Unified Modeling Language, Verifying Generalized Soundness of Workflow Nets New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
global idleness, interruptible activity regions, local idleness, instruction set selection, mobile anibients, generalized soundness, partial chase, constructor skeleton, idleness detection, refactoring rules, computability statements, structural synthesis rules, cylindrical cell decomposition, problem prb, vertical block matrix, perfect process tree, information state updates, one recursive rule, universal resolving algorithm, semantic preservation, stable event structures, state homomorphism, synchronised product, upper context, information processing layer Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer-Verlag Berlin Heidelberg, Lecture Notes, Slot Val, Springer Verlag, New York, Artificial Intelligence, Computer Society, International Symposium, John Wiley, Russian Academy of Sciences, Cambridge University Press, Soren Auer, European Conference, Introducing Debugging Capabilities, Perspectives of System Informatics, Tagged Huffman, Computer Security Foundations Workshop, Industrial Software Standards Enforcement, Inverse Computation of Lazy Languages, Journal of Logic Programming, Plain Huffman, Robust Data Mining Method Using, Rutgers University, Unified Modeling Language, Verifying Generalized Soundness of Workflow Nets New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Databases > Database Design
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Medical Books > Medicine > Internal Medicine
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
