Н531 Непейвода, Николай Николаевич. Прикладная логика : Учебное пособие для вузов / Николай Николаевич Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Издательство Новосибирского государственного университета, 2000. - 490[4] с. : табл. - Библиогр.: с. 479-481. -Предм. указ.: с. 482-488. - ISBN 5-7615-0490-1 (в пер.) : 207.00 р. Приложение: Сопроводительный материал :-анл Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: аунл (2 экз.) Свободны: аунл (2) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 107 : Логико-математические основы проблемы МОЗ : сборник научных трудов / Ред. Ю. Г. Косарев, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1985. - 154 с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (1 экз.) Свободны: аунл (1) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 146 : Логика и семантическое программирование : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1992. - 202[3] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (1 экз.) Свободны: аунл (1) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 133 : Логические методы в программировании : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1990. - 188[2] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 129 : Теория алгоритмов и ее приложения : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1989. - 198[4] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 139 : Теория вычислимости и языки спецификаций : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1991. - 192[2] с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-0102-8 (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (1 экз.) Свободны: аунл (1) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .Языки спецификаций и логическое программирование / науч. ред.: Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Институт математики, 1988. - 148 с. : ил. - Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 120 : Логические методы в программировании : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1987. - 161[3] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 116 : Прикладная логика : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1986. - 166 с. - Библиогр. в конце ст. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 114 : Логические вопросы теории типов данных : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1986. - 140 с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
В-949 Вычислительные системы : сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. - Новосибирск : [б. и.], 1995 - . Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск : [б. и.], 1995. - 220 с. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (1 экз.) Свободны: аунл (1) |
Н 531 Непейвода, Николай Николаевич. Прикладная логика : Учебное пособие / Николай Николаевич Непейвода ; Министерство общего и профессионального образования Российской Федерации, Удмурдский государственный университет. - Ижевск : Издательство Удмуртского университета, 1997. - 385 с. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: аунл (2 экз.), счз1 (1 экз.) Свободны: аунл (2), счз1 (1) |