en:strukt:cs
See veebisait esitab teavet KübIst 31. detsembri 2016 seisuga ja seda enam ei uuendata.
This website presents information about IoC as of 31 December 2016 and is no longer updated.
This website presents information about IoC as of 31 December 2016 and is no longer updated.
no way to compare when less than two revisions
Differences
This shows you the differences between two versions of the page.
— | en:strukt:cs [2016/12/14 17:03] (current) – created - external edit 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ===== Laboratory of Software Science ===== | ||
+ | Head: [[en: | ||
+ | |||
+ | Project administrators: | ||
+ | |||
+ | The [[http:// | ||
+ | |||
+ | The research directions of the Laboratory of Software Science are automata theory, functional and dependently typed programming, | ||
+ | |||
+ | The Laboratory of Software Science together with the [[phon|Laboratory of Phonetics and Speech Technology]] constituted the IoC team of the [[en: | ||
+ | |||
+ | From 2016, the Laboratory of Software Science with the [[cc|Laboratory of Control Systems]] is part of [[en: | ||
+ | |||
+ | |||
+ | ~~NOCACHE~~ | ||
+ | |||
+ | |||
+ | ==== People ==== | ||
+ | |||
+ | <php> $lang=" | ||
+ | $nr = " | ||
+ | include($_SERVER[' |
en/strukt/cs.txt · Last modified: 2016/12/14 17:03 by 127.0.0.1