Вы здесь

Prehofer C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios 2002 Prehofer C., Wei Q. Lecture Notes in Computer Science 01.02.2003
СТ Feature-Oriented Programming: A Fresh Look at Objects 1997 Prehofer C. Lecture Notes in Computer Science 09.07.1997
СТ Higher-Order Narrowing with Convergent Systems 1995 Prehofer C. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ A Call-by-Need Strategy for Higher-Order Functional-Logic Programming 1995 Prehofer C. Logic Programming: Proc. of the 1995 Intern. Symp. 24.04.1996
СТ On Modularity in Term Rewriting and Narrowing 1994 Prehofer C. Lecture Notes in Computer Science 01.10.1994
СТ Interpreter Verification for a Functional Language 1994 Broy M., Hinkel U., Nipkow T., Prehofer C., Schieder B. Lecture Notes in Computer Science 11.01.1995