Вы здесь

Thomas W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Church s Problem and a Tour through Automata Theory 2008 Thomas W. Lecture Notes in Computer Science Lecture Notes in Computer Science 15.04.2008
СТ A Short Introduction to Infinite Automata 2002 Thomas W. Lecture Notes in Computer Science 31.05.2002
СТ Logic for Computer Science: The Engineering Challenge 2001 Thomas W. Lecture Notes in Computer Science 04.04.2001
СТ Automata Theory on Trees and Partial Orders 1997 Thomas W. Lecture Notes in Computer Science 16.05.1997
СТ Analytical and Empirical Evaluation of Software Reuse Metrics 1996 Devanbu P., Karstu S., Melo W., Thomas W. Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 19.06.1996
СТ Finite-State Strategies in Regular Infinite Games 1994 Thomas W. Lecture Notes in Computer Science 11.01.1995
СТ Logical Specifications of Infinite Computations 1994 Thomas W., Lescow H. Lecture Notes in Computer Science 05.08.1994
СТ Regular Tree Languages without Unary Symbols Are Star-Free 1993 Potthoff A., Thomas W. Lecture Notes in Computer Science 16.09.1993
СТ On the Ehranfeucht-Fraisse Game in Theoretical Computer Science 1993 Thomas W. Lecture Notes in Computer Science 26.05.1993
СТ On Logics, Tilings, and Automata 1991 Thomas W. Lecture Notes in Computer Science 12.09.1991
СТ Design Assessment of Ada Systems Using Static Analysis 1991 Delis A., Thomas W. Lecture Notes in Computer Science 22.06.1991