Последние поступления
Верификация моделей программ. Model Checking, Э. М. Кларк, О. Грамберг, Д. Пелед
Страниц: 416
Год издания: 2002
Язык: Русский
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функцио ...
Видеолапароскопия с применением интраоперационного ультразвукового исследования в абдоминальной онкологии, Синюкова Г.Т., Комаров И.Г., Игнатова Е.И. и др.
Страниц: 88
Год издания: 2003
Язык: Русский
Внешнеэкономические связи России. Возможности качественных изменений, Оболенский В.П.
Страниц: 197
Год издания: 2003
Язык: Русский
Возрастная физиология. В 2 частях. Часть 1, З. В. Любимова, К. В. Маринова, А. А. Никитина
Раздел: Анатомия. Физиология
Страниц: 304
Год издания: 2003
Язык: Русский
В учебнике представлены современные концепции онтогенеза человека с учетом новейших достижений антропологии, анатомии, физиологии и т.п. Рассмотрены морфофункциональные изменения на разных этапах возр ...
Вопросы и задания по методике преподавания литературы, А. Н. Семенов, В. В. Семенова
Страниц: 384
Год издания: 2004
Язык: Русский
Вопросы и задания основаны на научном, методическом, литературно-художественном и социологическом материале и обращены к наиболее актуальным проблемам современной науки по преподаванию литературы. Пос ...