Отображение 1 - 7 результаты of 7 для поиска 'Bernardo, Marco', время запроса: 0.02сек. Отмена результатов
  1. 1
    Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
  2. 2
    Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
    по Bernardo, Marco
    Опубликовано в: Springer eBooks (2008)
    Полный текст
    Электронная книга
  3. 3
    Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2006)
    Полный текст
    Электронная книга
  4. 4
    Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /
    по Bernardo, Marco
    Опубликовано в: Springer e-books (2007)
    Полный текст
    Электронная книга
  5. 5
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Опубликовано в: Springer eBooks (2015)
    Другие авторы: “...Bernardo, Marco...”
    Полный текст
    Электронная книга
  6. 6
    Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
    Опубликовано в: Springer eBooks (2013)
    Другие авторы: “...Bernardo, Marco...”
    Полный текст
    Электронная книга
  7. 7
    Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
    Опубликовано в: Springer eBooks (2014)
    Другие авторы: “...Bernardo, Marco...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток