Отображение 1 - 4 результаты of 4 для поиска 'Esparza, Javier', время запроса: 0.02сек. Отмена результатов
  1. 1
    Unfoldings A Partial-Order Approach to Model Checking /
    по Esparza, Javier
    Опубликовано в: Springer eBooks (2008)
    Полный текст
    Электронная книга
  2. 2
    Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings /
    по Esparza, Javier
    Публикация 2006
    Полный текст
    Электронная книга
  3. 3
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /
    Опубликовано в: Springer eBooks (2014)
    Другие авторы: “...Esparza, Javier...”
    Полный текст
    Электронная книга
  4. 4
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /
    Опубликовано в: Springer eBooks (2014)
    Другие авторы: “...Esparza, Javier...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток