Home Advanced Search

Advanced Search - Page 1

Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26–28, 2003 Proceedings

PDF
English
Year: 2003
Author: Elaine J. Weyuker (auth.), Dieter Hogrefe, Anthony Wiles (eds.)

Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme

PDF
German
Year: 1989
Author: Dr. Dieter Hogrefe (auth.)

Computability, Complexity, and Languages. Fundamentals of Theoretical Computer Science

PDF
English
Year: 1983
Author: Martin D. Davis, Elaine J. Weyuker and Werner Rheinboldt (Auth.)

Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science

PDF
English
Year: 1983
Author: Martin Davis, Elaine J. Weyuker

Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science

DJVU
English
Year: 1983
Author: Martin Davis, Elaine J. Weyuker

Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques

PDF
English
Year: 1995
Author: Dieter Hogrefe, Stefan Leue (eds.)

System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

PDF
English
Year: 2006
Author: Constantin Werner, Sebastian Kraatz, Dieter Hogrefe (auth.), Reinhard Gotzhein, Rick Reed (eds.)

Computability, complexity, and languages fundamentals of theoretical computer science

PDF
English
Year: 2003
Author: Davis, Martin;Sigal, Ron;Weyuker, Elaine J

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science, Second Edition

DJVU
English
Author: Martin Davis, Ron Sigal, Elaine J. Weyuker

Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

PDF
English
Year: 1994
Author: Martin Davis, Ron Sigal, Elaine J. Weyuker