Открытый каталог публикаций OpenAlex 88 документов

• Theories for the Global Ubiquitous Computer
  автор: Robin Milner год: 2004 источник: Lecture notes in computer science тип: глава из книги
  Полный текстПодробнее
• Formal Aspects in Security and Trust
  авторы: Pierpaolo Degano; Joshua D. Guttman; Fabio Martinelli год: 2010 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Tools and Algorithms for the Construction and Analysis of Systems
  авторы: Yungbum Jung; Wonchan Lee; Bow-Yaw Wang и др. год: 2011 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Tools and Algorithms for the Construction and Analysis of Systems
  авторы: Javier Esparza; Rupak Majumdar год: 2010 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Mathematical Foundations of Computer Science 1998
  авторы: Gerhard Goos; Jan Van Leeuwen; Lubog Brim и др. год: 1998 источник: Lecture notes in computer science тип: книга
  Полный текстПодробнее
• Tools and Algorithms for the Construction and Analysis of Systems
  авторы: Erika Ábrahám; Klaus Havelund год: 2014 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Fundamental Approaches to Software Engineering
  авторы: Marsha Chećhik; Martin Wirsing год: 2009 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Tools and Algorithms for the Construction and Analysis of Systems
  год: 2008 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Safety, Dependability and Performance Analysis of Extended AADL Models
  авторы: Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen и др. год: 2010 источник: The Computer Journal тип: статья из журнала
  Страница публикацииПодробнее
• CONCUR’99 Concurrency Theory
  авторы: Christel Baier; Joost-Pieter Katoen; Holger Hermanns год: 1999 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Fundamental Approaches to Software Engineering
  авторы: Dimitra Giannakopoulou; Fernando Orejas год: 2011 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Concurrency, Graphs and Models
  год: 2008 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Automata, Languages and Programming
  авторы: Jiřı́ Wiedermann; Peter Emde Boas; Mogens Nielsen год: 1999 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Programming Languages and Systems
  авторы: Liqian Chen; Patrick Cousot; Antoine Miné и др. год: 2011 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Configuration structures
  авторы: Rob J. van Glabbeek; Gordon Plotkin год: 2002 тип: статья
  Полный текстПодробнее