Отображение 1 - 6 результаты of 6 для поиска 'Graf, Susanne', время запроса: 0.03сек. Отмена результатов
  1. 1
    Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    по Graf, Susanne
    Опубликовано в: Springer e-books (2006)
    Полный текст
    Электронная книга
  2. 2
    Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Другие авторы: “...Graf, Susanne...”
    Полный текст
    Электронная книга
  3. 3
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    по Boer, Frank S.
    Опубликовано в: Springer eBooks (2007)
    Другие авторы: “...Graf, Susanne...”
    Полный текст
    Электронная книга
  4. 4
    Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    по de Boer, Frank S.
    Опубликовано в: Springer e-books (2006)
    Другие авторы: “...Graf, Susanne...”
    Полный текст
    Электронная книга
  5. 5
    Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    по Bonsangue, Marcello M.
    Опубликовано в: Springer e-books (2005)
    Другие авторы: “...Graf, Susanne...”
    Полный текст
    Электронная книга
  6. 6
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Другие авторы: “...Graf, Susanne...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток