Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers ... Computer Science and General Issues)
Book information
Description
This book constitutes the thoroughly refereed postconference 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 were carefully reviewed and selected from 108 submissions during two rounds of evaluation and improvement. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics.
Similar books
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
2019 · PDF
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
2010 · PDF
Programming Logics: Essays in Memory of Harald Ganzinger
2013 · PDF
Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
2015 · PDF
Programming Logics: Essays in Memory of Harald Ganzinger
2013 · PDF
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
2012 · PDF
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
2010 · PDF
Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
2002 · PDF