Поисковый запрос: (<.>R=27.03.17$<.>) |
Общее количество найденных документов : 9
Показаны документы с 1 по 9 |
1.
| Методы предикатного программирования/Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова. - 2003
|
2.
| Пенроуз Р. Новый ум короля/Р. Пенроуз; Пер. с англ. под общ. ред. Малышенко В.О. - 2003
|
3.
| Ахо А.В. Построение и анализ вычислительных алгоритмов/А. В. Ахо, Д. Хопкрофт, Д. Д. Ульман ; пер. с англ. А. О. Слисенко, под ред. Ю. В. Матиясевича. - 1979
|
4.
| Sjogreen B. A new ENO scheme/B. Sjogreen. - 1996
|
5.
| Ершов Ю.Л. Определимость и вычислимость/Ю.Л. Ершов; Ин-т математики СО РАН, Новосиб. гос. ун-т, Ин-т дискрет. математики и информатики. - 2000
|
6.
| Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа/А. Н. Дегтев. - 1998
|
7.
| Ершов Ю.Л. Определимость и вычислимость/Ю. Л. Ершов. - 1996
|
8.
| Иванищев В.В. Введение в теорию алгоритмических сетей/В. В. Иванищев, В. Е. Марлей. - 2000
|
9.
| Кормен Т. Алгоритмы. Построение и анализ/Т. Кормен, Ч. Лейзерсон, Р. Ривест. - 1999
|
|