SE Wiki — различия между версиями
Материал из SEWiki
(→Учебная информация) |
Zalim (обсуждение | вклад) м (→Учебная информация) |
||
| Строка 1: | Строка 1: | ||
== Учебная информация == | == Учебная информация == | ||
| − | + | 5 курс: | |
* [[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]] | * [[Unix_и_Скриптовые_языки_2012|Unix и скриптовые языки]] | ||
| + | |||
| + | 6 курс: | ||
* [[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]] | * [[Методы_формальной_верификации_программ_2012|Методы формальной верификации программ]] | ||
Версия 18:14, 13 сентября 2012
Содержание
Учебная информация
5 курс:
6 курс:
Архив за прошлые семестры
Практики
Студенты
Важные ссылки
Для 5-го курса:
- cpp - репозиторий для лабораторных по С++.
- aptu-os - репозиторий для лабораторных по операционным системам.
Для 6-го курса:
- hpcource - репозиторий для лабораторных по параллельному программированию.
- mathvm - репозиторий для лабораторных по виртуальным машинам.
- spbau-network-2011 - репозиторий для лабораторных по сетевым технологиям.
