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