Вы здесь
Meyer J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | An Architecture for Interactive Program Provers | 2000 | Meyer J., Poetzsch-Heffter A. | Lecture Notes in Computer Science | 26.04.2000 | |||
СТ | Epistemic Logic for Computer Science: A Tutorial (Part One) | 1991 | Meyer J., Van Der Hock W., Wreeswijk G. | EATCS Bull. | 19.09.1991 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Human-Centered Visualization Environments: Revised Lectures/Gl-Dagstuhl Research Seminar. Dagstuhl Castle, Germany, March 2006 | 2007 | Lecture Notes in Computer Science |
|
19.10.2007 |