Theory and applications of models of computation [Electronic resource] : 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / ed. M. Ogihara, J. Tarui. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6648). - ISBN 978-3-642-20877-5 : Б. ц.

Рубрики: Computer science
   Information theory

   Computer software

   Logic design

   Computational complexity

   Computer science

   Theory of computation

   Mathematics of computing

   Algorithm analysis and problem complexity

   Logics and meanings of programs

   Mathematical logic and formal languages

   Discrete mathematics in computer science


См. : Текст издания

Доп.точки доступа:
Ogihara, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет