Альтернативы поиска:
languages » language (Расширить поиск)
Отображение 1 - 20 результаты of 654 для поиска '"Mathematical Logic and Formal Languages"', время запроса: 0.04сек. Отмена результатов
  1. 1
    Programming Sudoku
    по Lee, Wei-Meng
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  2. 2
    Formal Languages and Compilation
    по Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  3. 3
    Constraints Meet Concurrency
    по Mauro, Jacopo
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  4. 4
    Constructing Correct Software
    по Cooke, John
    Опубликовано в: Springer eBooks (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  5. 5
    Refinement in Z and Object-Z Foundations and Advanced Applications /
    по Derrick, John, Boiten, Eerke A.
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  6. 6
    Gentzen's Centenary The Quest for Consistency /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  7. 7
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    по Czelakowski, Janusz
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  8. 8
    Agent Technology from a Formal Perspective
    по Rouff, Christopher A.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  9. 9
    The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  10. 10
    Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  11. 11
    From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice /
    по Śmiałek, Michał, Nowakowski, Wiktor
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
  12. 12
    Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  13. 13
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings /
    по Mellouli, Khaled
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  14. 14
    Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
    по Goble, Lou
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  15. 15
    Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  16. 16
    Logical Aspects of Computational Linguistics 4th International Conference, LACL 2001 Le Croisic, France, June 27-29, 2001 Proceedings /
    по Groote, Philippe
    Публикация 2006
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  17. 17
    Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings /
    по Prade, Henri
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  18. 18
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings
    по Godo, Lluis
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  19. 19
    Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
    по Kern-Isberner, Gabriele
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages...”
    Полный текст
    Электронная книга
  20. 20
    Mathematical Logic Foundations for Information Science /
    по Li, Wei
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток