Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю

Поиск в найденном
 Найдено в других БД:Электронный каталог МУБиНТ, г. Ярославль (18)"Руконт"-Национальный цифровой ресурс (3)
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=доказательство<.>)
Общее количество найденных документов : 33
Показаны документы с 1 по 20
 1..20  21..33 
1.
347.91
А65


    Андрианова, С. С.
    Гражданское процессуальное право [] : практикум / С. С. Андрианова. - Ярославль : МУБиНТ, 2002. - 37 с. - 20 р.
ГРНТИ
УДК
ББК 67.410
Рубрики: Право--гражданско-процессуальное
Кл.слова (ненормированные):
правоотношения -- иск -- доказательство -- разбирательство -- производство -- заочное -- приказное -- неисковое -- аппеляция -- суд
Аннотация: В практикум включены тематический план, содержание лекционного курса и практических занятий, контрольные вопросы и задачи по темам курса, приблизительные темы курсовых работ, перечень нормативного материала и литературы, рекомендуемой к использованию при подготовке к занятиям.

Держатели документа:
МУБиНТ МУБиНТ/ЧЗ, МУБиНТ/ХР
Свободных экз. нет
Найти похожие

2.
347.91
А65


    Андрианова, С. С.
    Гражданское процессуальное право [] : практикум / С. С. Андрианова ; Международный университет бизнеса и новых технологий . - Электрон. текстовые дан. - Ярославль : МУБиНТ, 2002. - 672 Kb с. ; pdf. - Б. ц.
ГРНТИ
УДК
ББК 67.410
Рубрики: Право--гражданско-процессуальное
Кл.слова (ненормированные):
правоотношения -- иск -- доказательство -- разбирательство -- производство -- заочное -- приказное -- неисковое -- аппеляция -- суд
Аннотация: В практикум включены тематический план, содержание лекционного курса и практических занятий, контрольные вопросы и задачи по темам курса, приблизительные темы курсовых работ, перечень нормативного материала и литературы, рекомендуемой к использованию при подготовке к занятиям.

Перейти: Полный текст
Держатели документа:
МУБиНТ , МУБиНТ
Свободных экз. нет
Найти похожие

3.
Ш6(2=Р)6-49
П16


    Паникин, Александр.
    Шестое доказательство [Текст] : признания русского фабриканта / А. Паникин. - М. : Панинтер, 1998. - 172с. - 10.50000 р.
ББК Ш6(2=Р)6-49
Рубрики: худож.лит.России 20в.
   предпринимательство

Кл.слова (ненормированные):
публицистика -- бизнес

Держатели документа:
ЯрГУ ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

4.
В12
Ч-43


    Чень, Ч.
    Математическая логика и автоматическое доказательство теорем [Текст] : нелитературный текст / Ч.Чень,Р.Ли ; Пер.с англ. - М. : Наука, 1983. - 358с. - (Математическая логика и основания математики). - 6.00 р.
ББК В12
Рубрики: логика
   кибернетика

Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- математическая кибернетика -- искусственный интеллект

Держатели документа:
ЯрГУ

Доп.точки доступа:
Ли, Р. ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

5.
В185
А65


    Андерсон, Роберт.
    Доказательство правильности программ [Текст] : нелитературный текст / Р. Андерсон. Пер. с англ. - М. : Мир, 1982. - 168 с. : ил. - 10.00 р.
ББК В185
Рубрики: программирование
Кл.слова (ненормированные):
б-ка Русина -- программы для ЭВМ -- правильность программ

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

6.
З81я73
Д70


    Вагин, В. Н.
    Достоверный и правдоподобный вывод в интеллектуальных системах [Текст] : учеб. пособие для вузов / В. Н. Вагин, Е. Ю. Головина, А. А. Загорянская и др. ; М-во образования РФ. - М. : Физматлит, 2004. - 703 с. - ISBN 5-9221-0474-8 : 285.00 р.
ББК З81я73
Рубрики: Кибернетика
Кл.слова (ненормированные):
интеллектуальные системы -- математическая кибернетика -- теоремы -- автоматическое доказательство -- графовые структуры -- прикладная математика -- учебник З81

Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ, ЯрГУ/НА/НБ
Свободных экз. нет
Найти похожие

7.
65.012.1
П16


    Паникин, А.
    Шестое доказательство [Текст] : признания рус.фабриканта / А.Паникин. - М. : ПанЪинтер, 1998. - 174с. - Б. ц.
ББК 65.012.1
Рубрики: 18.Экономика.Экономические науки.
Кл.слова (ненормированные):
Предпринимательство-Российская Федерация.

Держатели документа:
ЯрЦБС ЯрЦБС/АБ
Свободных экз. нет
Найти похожие

8.
YarCLN\YarCLS\BOOK\00046912

    Сингх, С.
    Великая теорема Ферма [Текст] : история загадки,которая занимала лучшие умы мира на протяжении 358 лет / Саймон Сингх ; Пер.с англ.Ю.А.Данилова. - М. : МЦНМО, 2000. - 288с. : ил. - Библиогр.в примеч.:с.286-288. - ISBN 1-85702-521-0 : 101,77 р. - ISBN 5-900916-61-8 : 00,00
ББК 22.1г
Рубрики: 2.Физико-математические науки.
Кл.слова (ненормированные):
Ферма - Теорема - Доказательство
Аннотация: В книге Саймона Сингха - английского физика,журналиста Би-Би-Си,в популярной форме изложена история доказательства великой теоремы Ферма.Великая теорема Ферма наконец доказана... История ее доказательства неразрывно связана с историей всей математики.На страницах этой книги изложен захватывающий рассказ о творческих неудачах и озарениях,мошенничестве и благородстве,таланте и трагедии - о всем том,что происходило на протяжении 350 лет поисков доказательства этой Великой теоремы.

Держатели документа:
ЯрЦБС ЯрЦБС/ЦБ/ ЧЗ-1
Свободных экз. нет
Найти похожие

9.
681.3
Я41


   
    Язык Пролог в пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. - ISBN 5-03-000537-4 : 2.60 р.
    Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
ГРНТИ
УДК
ББК 22.18
Рубрики: Информатика--Языки программирования
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.

Держатели документа:
МУБиНТ

Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

10.
347.91
А65


    Андрианова, С. С.
    Гражданское процессуальное право [Текст] : практикум / С. С. Андрианова. - Ярославль : МУБиНТ, 2002. - 37 с. - 20.20 р.
ГРНТИ
УДК
ББК 67.410
Рубрики: Право--гражданско-процессуальное
Кл.слова (ненормированные):
правоотношения -- иск -- доказательство -- разбирательство -- производство -- заочное -- приказное -- неисковое -- аппеляция -- суд
Аннотация: В практикум включены тематический план, содержание лекционного курса и практических занятий, контрольные вопросы и задачи по темам курса, приблизительные темы курсовых работ, перечень нормативного материала и литературы, рекомендуемой к использованию при подготовке к занятиям.

Держатели документа:
МУБиНТ
Экземпляры всего: 11
ЧЗ (1), ХР (10)
Свободны: ЧЗ (1), ХР (6)
Найти похожие

11.
347.91
А65


    Андрианова, С. С.
    Гражданское процессуальное право [Электронный ресурс] : практикум / С. С. Андрианова ; Международный университет бизнеса и новых технологий . - Электрон. текстовые дан. - Ярославль : МУБиНТ, 2002. - 672 Kb ; pdf. - Б. ц.
ГРНТИ
УДК
ББК 67.410
Рубрики: Право--гражданско-процессуальное
Кл.слова (ненормированные):
правоотношения -- иск -- доказательство -- разбирательство -- производство -- заочное -- приказное -- неисковое -- аппеляция -- суд
Аннотация: В практикум включены тематический план, содержание лекционного курса и практических занятий, контрольные вопросы и задачи по темам курса, приблизительные темы курсовых работ, перечень нормативного материала и литературы, рекомендуемой к использованию при подготовке к занятиям.

Перейти: Полный текст
Держатели документа:
МУБиНТ
Свободных экз. нет
Найти похожие

12.
347.9
А79


   
    Арбитражный процесс [Текст] : учебник / под ред. В. В. Яркова. - 3-е изд., перераб. и доп. - М. : Волтерс Клувер, 2006. - 876 с. - Алф.-Предм. указ.: с. 857-876. - ISBN 5-466-00152-X : 252.00 р.
    Содержание:
Система арбитражных судов в Российской Федерации
Предмет и система арбитражного процессуального права
Принципы арбитражного процессуального права
Концепция арбитражных судов
Участники арбитражного процесса. Представительство в арбитражном процессе
Доказывание и доказательство в арбитражном процессе
Обеспечительные меры в арбитражном процессе
Судебные расходы. Судебные штрафы
Процессуальные сроки
Иск ивозбуждение дела в арбитражном суде
Подготовка дела к судебному разбирательству
Примирительные процедуры. Мировое соглашение
Судебное разбирательство в арбитражном суде первой инстанции
Постановления арбитражного суда первой инстанции. Окончание дел без вынесения решения арбитражного суда
Производство по делам, возникающим из административных и иных публичных правоотношений
Производство по установлению фактов, имеющих юридическое значение
Рассмотрение дел о несостоятельности (банкротстве)
Рассмотрение дел в порядке упрощенного делопроизводства
Международный гражданский (арбитражный) процесс
Производство по пересмотру судебных актов арбитражных судов
Исполнение судебных актов арбитражных судов
Разрешение экономических споров третейским судом
Зарубежный арбитражный процесс
ГРНТИ
УДК
ББК 67.410
Рубрики: Юридические науки
   Арбитраж--право

Аннотация: Учебник написан на основе программы курса "Арбитражный процесс" для юридических вузов. В учебнике в соответствии с системой действующего законодательства и на основе современных процессуально-правовых концепций освещены все основные институты арбитажного процессуального права.

Держатели документа:
МУБиНТ

Доп.точки доступа:
Ярков, В. В. \ред.\
Экземпляры всего: 3
ЧЗ (1), ХР (2)
Свободны: ЧЗ (1), ХР (2)
Найти похожие

13.
Шифр: Фин/1999/6
   Журнал

Финансы [Текст]. - М. : ИПК " Московская правда ", 1926 - . - ISSN 0869-446X. - Выходит ежемесячно
1999 г. № 6
Содержание:
Бушмин, Е. В. Состояние и перспективы финансового, методологического и информационного обеспечения финансовых органов. / Е. В. Бушмин
Златкис, Б. И. Попробуем управлять кризисами. / Б. И. Златкис
Коростелев, Ю. В. Финансирование инвестиционной программы города в условиях формирования рыночных отношений: опыт Москвы. / Ю. В. Коростелев
Гудыма, Н. И. О методике распределения и порядке использования средств Федерального фонда финансовой поддержки субъектов Российской Федерации. / Н. И. Гудыма
Ляско, А. К. Перспективы формирования региональных бюджетных доходов в 1999 году. / А. К. Ляско
Семенова, Е. В. Псковская область: проблема инвестиций. / Е. В. Семенова, Ю. Г. Козлова, Г. М. Коваленко
Березина, М. П. О взаимосвязи платежей системы и инфляции в России. / М. П. Березина
Горский, И. В. Налоговый потенциал в механизме межбюджетных отношений. / И. В. Горский
Выскребенцев, И. К. Порядок внесения платы за древесину, отпускаемую на корню. / И. К. Выскребенцев
Пушкарева, В. М. Генезис с категории " Налог " в истории финансовой науки. / В. М. Пушкарева
Семенов, В. Н. Насущные вопросы страхования сельскохозяйственных товаропроизводителей. / В. Н. Семенов
Завриев, С. К. О государственной поддержке долгосрочного страхования жизни. / С. К. Завриев
Хроника страхования.
ВНСО: добровольность, равноправие, самоуправление, законность.
Руф-Фидлер, О. Если присмотреться попристальнее. / О. Руф-Фидлер
Лушин, С. И. Формула как доказательство. / С. И. Лушин
Насретдинов, А. З. О двух сферах деятельности инвестиционных банков. / А. З. Насретдинов
Ким, А. Г. Исследуются актуальные проблемы. / А. Г. Ким, И. П. Мерзляков
Беляев, Ю. А. Региональные финансы: семинар в Голицыно. / Ю. А. Беляев
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

14.
Шифр: СиК/2003/10
   Журнал

Стандарты и качество [Текст] : Научно-технический журнал Госстандарта России. - М. : РИА "Стандарты и качество", 1927 - . - a-ил. - Выходит ежемесячно
2003г. № 10
Содержание:
Пугачев, С. Стандартизация: место и роль в системе технического регулирования / С. Пугачев. - С.8-12
Положение о федеральном информационном фонде технических регламентов и стандартов и единой информационной системе по техническому регулированию. - С.14-15
Зубарев, А. Стандартизация в информационной экономике / А. Зубарев, Э. Гасанов. - С.17-21
Васютович, В. Стандартизация в области информационных технологий / В. Васютович. - С.22-26
Дружинин, Г. Стандартизация в области качества служебной информации / Г. Дружинин, И. Сергеева. - С.27-29
Столбов, А. Стандартизация информационных технологий в здравоохранении и медицинском страховании / А. Столбов. - С.30-33
Пугачев, С. Национальный стандарт как доказательство соответствия обязательным требованиям технических регламентов / С. Пугачев, В. Самков. - С.34-37
О роли общетехнических систем стандартов. - С.38-43
Берновский, Ю. Технические условия в условиях технического регулирования / Ю. Берновский. - С.44-46
Аронов, И. Машины и оборудование как объект технического регулирования / И. Аронов, Г. Грозовский, А. Теркель. - С.48-51
Буденная, Ж. Место и роль технических комитетов по стандартизации / Ж. Буденная, Г. Грозовский, С. Макушкина. - С.52-53
Тимко, В. Разработка технического регламента на низковольтное электрооборудование / В. Тимко, А. Васильев. - С.54-57
Миняйлик, Г. На службе здоровья людей / Г. Миняйлик. - С.58-60
Кл.слова: медицина, техническое регулирование, фармацевтика
Рахманов, М. Международные организации по аккредитации / М. Рахманов. - С.62-63
Мальков, Г. Новое в федеральном законе "О техническом регулировании" в области подтверждения соответствия и аккредитации / Г. Мальков. - С.64-68
Папаев, С. Взаимодействие государственных органов и национальных систем стандартизации / С. Папаев, Н. Руженцев, В. Угаров. - С.69-75
Меморандум о взаимопонимании между правительством Соединенного королевства и Британским институтом стандартов в части деятельности последнего в качестве национальной организации по стандартизаци Соединенного королевства. - С.76-78
Кл.слова: Великобритания
Кравченко, Ю. Сближение российской и европейской технической документации / Ю. Кравченко. - С.86-87
Кл.слова: семинар, ВТО
Кравченко, Ю. Ударим по контрафакту международной конференцией / Ю. Кравченко. - С.88-89
Белобрагин, В. Хлебным мерам быть равным... / В. Белобрагин. - С.90
Кл.слова: метрология, история, Россия
Компьютерная система управления качеством продукции проектно-конструкторского предприятия. - С.96-100
Анастасопоулос, Дж. Сертификация персонала дает преимущество / Дж. Анастасопоулос. - С.101
Кл.слова: конкурентоспособность
Белобрагин, В. Основные механизмы управления качеством / В. Белобрагин. - С.102-104
Кл.слова: малый бизнес
Алексеев, В. Как оценить и повысить эффективность цепочки поставщиков / В. Алексеев. - С.106-110
Кл.слова: Болбридж М., премия, конкуренция
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

15.
Шифр: РЮ/2004/6
   Журнал

Российская юстиция [Текст]. - М. : Юридический Мир, 1922 - . - Выходит ежемесячно
2004г. N 6 . - 81.25, р.
Содержание:
Гаршин, В. Нужен закон "Об обращениях граждан" / В. Гаршин. - С.2-3
Федеральный закон "Об обращениях граждан". - С.4-10
Кл.слова: законопроект
Курманов, М. Право квалификационной коллегии рекомендовать кандидата в мировые судьи / М. Курманов, Г. Хабибуллина. - С.11-13
Ершов, В. Актуальные теоретические и практические вопросы Конституции России и Тырновской Конституции Болгарии / В. Ершов. - С.14-17
Одинцов, П. Суды и СМИ: принципы и технология эффективного взаимодействия / П. Одинцов. - С.18-19
Черкашина, И. Судебная защита права пользования жилым помещением / И. Черкашина. - С.20-23
Цветков, И. Систематизация законодательства об интеллектуальной собственности: pro et contra / И. Цветков. - С.24-26
Якушева, С. Использование термина "предприятие" в современном гражданском законодательстве / С. Якушева. - С.27
Кибальник, А. Юридические оплошности действующего уголовного закона / А. Кибальник, И. Соломоненко. - С.28-29
Погодин, С. Обеспечение порядка в судебном заседании в условиях состязательного уголовного процесса / С. Погодин. - С.30-31
Желтобрюхов, С. Обеспечение явки свидетелей - обязанность сторон, а не суда / С. Желтобрюхов. - С.32-34
Осипов, С. Предписания ч. 3 ст. 281 УПК РФ и психолингвистический аспект достоверности показаний потерпевшего и свидетеля / С. Осипов. - С.35-36
Кл.слова: допрос, психология
Никодимов, А. Заключение под стражу - "любимая" мера пресечения российского уголовного процесса? / А. Никодимов. - С.37
Горбачев, А. Признание обвиняемого - "особо убедительное доказательство"? / А. Горбачев. - С.38-40
Копытов, И. Поддержание в суде государственного обвинения - простая формальность? / И. Копытов. - С.41-43
Шаров, Г. Оказание юридической помощи бесплатно / Г. Шаров. - С.44-49
Рухтин, С. Ответственность государства перед жертвами терроризма в свете решений Европейского Суда по правам человека / С. Рухтин. - С.50-52
Кашкин, С. Основные положения новой Конституции для Европы / С. Кашкин. - С.53-58
Шубин, Н. Способы стимулирования гражданской активности в укреплении правопорядка / Н. Шубин. - С.59
Шевченко, Ю. Приобретение имущества от неуправомоченного отчуждателя / Ю. Шевченко. - С.60
Тейман, С. Введение народного участия в отправлении правосудия в Республике Казахстан / С. Тейман. - С.61-68
Мадиевский, С. Именем немецкого народа ("дело Каценбергера") / С. Мадиевский. - С.70-78
Кл.слова: Гитлер, расизм, антисемитизм
Имеются экземпляры в отделах: всего 1 : ЧЗ ИБЦ (1)
Свободны: ЧЗ ИБЦ (1)

Найти похожие

16.
Шифр: БГУ/2006/7
   Журнал

Бухгалтерский учет [Текст]. - М. : Бухгалтерский учет, 1937 - . - ISSN 0321-0154. - Выходит ежемесячно
2006г. N 7 . - 147.00, р.
Содержание:
Обзор документов, опубликованных во II квартале 2006 г. - С.3-4
Береснева, Н. В. Учетная политика как доказательство в суде / Н. В. Береснева. - С.5-11
Жуков, В. Н. Долговые обязательства: учет и налогообложение собственного автотранспорта / В. Н. Жуков. - С.19-23
Гусаковская, Е. Г. Учет расходов при создании обособленных подразделений организации / Е. Г. Гусаковская. - С.24-29
Голомазова, Л. А. Ответственность недобросовестных налогоплательщиков / Л. А. Голомазова. - С.30-34
Сергеева, С. В. Исчисление и уплата НДС налоговыми агентами / С. В. Сергеева. - С.35-37
Колеватова, О. А. Учет различных видов предпринимательской деятельности в бюджетных учреждениях / О. А. Колеватова. - С.38-43
Патров, П. П. Учет продажи (приобретения) товаров со скидками / П. П. Патров, М. Л. Пятов. - С.44-51
Соколов, Я. В. Что можно из прибыли выплатить на дивиденды? / Я. В. Соколов, Н. Н. Карзаева. - С.52-54
Палий, В. Ф. О методе бухгалтерского учета / В. Ф. Палий. - С.55-60
На заседании Президентского совета. - С.61-62
Имеются экземпляры в отделах: всего 1 : ЧЗ (1)
Свободны: ЧЗ (1)

Найти похожие

17.
004.42
А 65


    Андерсон, Р.
    Доказательство правильности программ [Текст] / Р. Андерсон. - М. : Мир, 1982. - 168с. - Б. ц.
УДК


Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

18.
544.18
М 14


    Майер,, Иштван.
    Избранные главы квантовой химии [Текст] : доказательство теорем и вывод формул / Иштван Майер,. - М. : БИНОМ. Лаборатория знаний, 2006. - 384 с. - Предм. указ. : с. 374-378. - ISBN 5-94774-499-6 : Б. ц.
УДК
Рубрики: Физическая химия--Квантовая химия
Кл.слова (ненормированные):
квантовая химия

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

19.
004.42
А 65


    Андерсон, Р.
    Доказательство правильности программ [Текст] / Р. Андерсон. - М. : Мир, 1982. - 168с. - Б. ц.
УДК


Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

20.
544.18
М 14


    Майер,, Иштван.
    Избранные главы квантовой химии [Текст] : доказательство теорем и вывод формул / Иштван Майер,. - М. : БИНОМ. Лаборатория знаний, 2006. - 384 с. - Предм. указ. : с. 374-378. - ISBN 5-94774-499-6 : Б. ц.
УДК
Рубрики: Физическая химия--Квантовая химия
Кл.слова (ненормированные):
квантовая химия

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

 1..20  21..33