Вы здесь
Ingolfsdottir A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Weak Semantics Based on Lighted Button Pressing Experiments | 1997 | Ingolfsdottir A. | Lecture Notes in Computer Science | 18.07.1997 | |||
| СТ | CPO Models for a Class of GSOS Languages | 1995 | Aceto L., Ingolfsdottir A. | Lecture Notes in Computer Science | 20.06.1995 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday | 2017 | Lecture Notes in Computer Science |
|
10.08.2017 | |||
| СБ | Foundations of Software Science and Computation Structures: Proc./9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006 | 2006 | Lecture Notes in Computer Science |
|
23.05.2006 |