Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
Springer Lecture Notes in Computer Science
серия сборников
Добавил в систему:
Арефьев Николай Викторович
Сборники, входящие в состав серии
2023
Automated Deduction – CADE 29
серия
Springer Lecture Notes in Computer Science
, том 14132
издательство
Springer Nature
(Switzerland)
2020
Security Standardisation Research
серия
Springer Lecture Notes in Computer Science
, том 12529
издательство
Springer International Publishing AG
(Cham, Switzerland)
2020
Computer Performance Engineering
серия
Springer Lecture Notes in Computer Science
, том 12039
место издания
Springer International Publishing
2020
Computer Aided Systems Theory – EUROCAST 2019
серия
Springer Lecture Notes in Computer Science
, том 12013
место издания
Springer International Publishing