Отображение 221 - 240 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.11сек. Отмена результатов
  1. 221
    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 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 222
    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 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 223
    Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 224
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 225
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    по Nielson, Hanne Riis
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 226
    25 Years of Model Checking History, Achievements, Perspectives /
    по Grumberg, Orna
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 227
    Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /
    по Cousot, Patrick
    Публикация 2006
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 228
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    по Reps, Thomas
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 229
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    по Comon-Lundh, Hubert
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 230
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 231
    Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... of the Rosetta Space Mission.- Extensible Debugger Framework for Extensible Languages -- Static Backward Program...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 232
    Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
    по de Vrijer, Roel
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 233
    Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Language for Concept Learning in Description Logics -- Identifying Driver's Cognitive Load Using Inductive...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 234
    Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...All About Fuzzy Description Logics and Applications -- Higher-Order Modal Logics: Automation...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 235
    A Theory of Distributed Objects Asynchrony вЂ" Mobility вЂ" Groups вЂ" Components /
    по Caromel, Denis
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 236
    Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
    по Krishnamurthi, Shriram
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 237
    Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Componentised Language Development for the JVM -- Preserving Confidentiality in Component...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 238
    Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
    по Seidl, Helmut
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 239
    Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March
    по Amadio, Roberto
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 240
    Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток