Вы здесь

Главная

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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ STACS 2007: Proc./24th Annual Symposium on Theoretical Aspects of Computer Science,Aachen,Germany,February 2007 2007 Lecture Notes in Computer Science
  1. Thomas W.
  2. Weil P.
 27.03.2007
СБ STACS 2006: Proc./23rd Annual Symposium on Theoretical Aspects of Computer Science. Marseille, France, February 2006 2005 Lecture Notes in Computer Science
  1. Durand B.
  2. Thomas W.
 28.03.2006
СБ Automata, Logics, and Infinite Games: A Guide to Current Research 2002 Lecture Notes in Computer Science
  1. Gradel E.
  2. Thomas W.
  3. Wilke T.
 19.02.2003
СБ Foundations of Software Science and Computation Structures: Proc./Second Intern. Conf., FOSSACS 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999 1999 Lecture Notes in Computer Science
  1. Thomas W.
 02.04.1999
СБ Computer Science Logic: Proc./11th Intern. Workshop, CSL 97, Annual Conf. of the EACSL. Aarhus, Denmark, August 1997 1998 Lecture Notes in Computer Science
  1. Nielsen M.
  2. Thomas W.
 19.06.1998