Отображение 261 - 280 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.12сек. Отмена результатов
  1. 261
    Modelling Computing Systems Mathematics for Computer Science /
    по Moller, Faron, Struth, Georg
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 262
    Ernst Zermelo An Approach to His Life and Work /
    по Ebbinghaus, Heinz Dieter, Peckhaus, Volker
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 263
    Static Analysis (vol. # 4134) 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    по Yi, Kwangkeun
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 264
    Static Analysis (vol. # 3672) 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
    по Hankin, Chris
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 265
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 266
    Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Formal methods -- Uses of ada -- Real-time scheduling -- Applications....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 267
    Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... -- Mathematical Morphology Operators over Concept Lattices -- Dismantlable Lattices in the Mirror -- Towards...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 268
    Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /
    по Miguel, Ian
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 269
    Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
    по Sakaibara, Yasibumi
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 270
    Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings
    по Saitta, Lorenza
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 271
    Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 272
    Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    по Hurd, Joe
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 273
    Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
    по Dershowitz, Nachum
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 274
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    по Schneider, Klaus
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 275
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    по Carbonell, Jaime G.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 276
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 277
    Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “... for Generating Investigation Hypotheses -- A Formal Theory of Justifications -- A New Computational Logic...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 278
    Foundations of Software Science and Computational Structures (vol. # 3441) 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
    по Sassone, Vladimiro
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 279
    ECOOP 2013 - Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 280
    ECOOP 2014 - Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток