Поиск :
Личный кабинет :
Электронный каталог: New directions in logic, language and computation
New directions in logic, language and computation
Доступно
1 из 1
1 из 1
Книга
Автор:
New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011. Student sessions. Selected papers
Серия: Lecture notes in computer science
Издательство: Springer, 2012 г.
ISBN 978-3-642-31466-7
Автор:
New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011. Student sessions. Selected papers
Серия: Lecture notes in computer science
Издательство: Springer, 2012 г.
ISBN 978-3-642-31466-7
Заказать 
На полку
Книга
004 N52
New directions in logic, language and computation: ESSLLI 2010 and ESSLLI 2011. Student sessions. Selected papers / Ed. D. Lassiter, M. Slavkovik. – Heidelberg [ect.]: Springer, 2012. – 233 с. – (Lecture notes in computer science; 7415) . – На англ. яз. - ISBN 978-3-642-31466-7.
004.42
004.43
510.5
510.6
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ]
общий = Информатика и вычислительная техника = computer science and technology : языки программирования = computer languages [ 004.43 ]
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
63594 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 N52
004 N52
New directions in logic, language and computation: ESSLLI 2010 and ESSLLI 2011. Student sessions. Selected papers / Ed. D. Lassiter, M. Slavkovik. – Heidelberg [ect.]: Springer, 2012. – 233 с. – (Lecture notes in computer science; 7415) . – На англ. яз. - ISBN 978-3-642-31466-7.
004.42
004.43
510.5
510.6
общий = Информатика и вычислительная техника = computer science and technology : программирование ЭВМ. Компьютерные программы = computer programming. Computer programs [ 004.42 ]
общий = Информатика и вычислительная техника = computer science and technology : языки программирования = computer languages [ 004.43 ]
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
63594 ин Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 N52