Вы здесь
Van Emde Boas P.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A compositional semantics for the Turing machine | 1989 | Van Emde Boas P. | J.W. de Bakker, 25 Jaar Semantiek | 04.10.1995 | |||
СТ | Complexity of Symbolic Computing | 1988 | Van Emde Boas P. | CWI Quarterly | 22.06.1995 | |||
СТ | Object Oriented Application Flow Graphs and Their Semantics | 1993 | De Haas E., Van Emde Boas P. | Lecture Notes in Computer Science | 20.10.1993 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Automata, Languages and Programming: Proc./ 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 1999 | 1999 | Lecture Notes in Computer Science |
|
31.08.1999 | |||
СБ | SOFSEM 2013: Theory and Practice of Computer Science: Proc./39th International Conference on Current Trends in Theory and Practice of CS, Spindleruv Mlyn, Czech Republic, January 2013 | 2013 | Lecture Notes in Computer Science |
|
11.06.2013 |