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