Вы здесь

Meyer R.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A theory of structural stationarity in the Pi-Calculus 2009 Meyer R. Acta Informatica 15.05.2009
СТ A (Non-elementary) Modular Decision Procedure for LTrL 1998 Gastin P., Meyer R., Petit A. Lecture Notes in Computer Science 02.09.1998
СТ DELPHI-EXPERT An Expert System for Error Diagnosis in High Energy Physics Detectors 1992 Becks K. -H., Cremers A. B., Hemker A., Meyer R., Ortmann J., Schlageter G. Lecture Notes in Artificial Intelligence 09.07.1992
СТ Designing and Implementing Parallel Constructs 1991 Keller R., Meyer R., Seevers T. Lecture Notes in Computer Science 15.08.1991