Отображение 181 - 200 результаты of 1,294 для поиска '"Logic"', время запроса: 0.06сек. Отмена результатов
  1. 181
    Romanian Studies in Philosophy of Science
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 182
    ABDICATION OF THE SOVEREIGN SELF the psycholinguistics of invalid synthetic ... propositions.
    Публикация 2018
    Предметы: “...Language and logic....”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 183
    Design of Experiments for Reinforcement Learning
    по Gatti, Christopher
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 184
    Categories for Software Engineering
    по Fiadeiro, José Luiz
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 185
    Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /
    по Choi, Lynn
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 186
    Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 187
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 188
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Computer logic. 463252...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 189
    High-Level Synthesis From Algorithm to Digital Circuit /
    по Coussy, Philippe
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 190
    Argumentation Methods for Artificial Intelligence in Law
    по Walton, Douglas
    Опубликовано в: Springer e-books (2005)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 191
    Pell and Pell-Lucas Numbers with Applications
    по Koshy, Thomas
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic, Symbolic and mathematical. 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 192
    Advanced Symbolic Analysis for VLSI Systems Methods and Applications /
    по Shi, Guoyong, Tan, Sheldon X.-D, Tlelo Cuautle, Esteban
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design. 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 193
    The Unknown as an Engine for Science An Essay on the Definite and the Indefinite /
    по Pirner, Hans J.
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic. 461383...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 194
    Recent Developments in the Philosophy of Science: EPSA13 Helsinki
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic. 461383...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 195
    Extensionalism The Revolution in Logic /
    по Bar-Am, Nimrod
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 196
    Neural-Symbolic Cognitive Reasoning
    по Gabbay, Dov M.
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 197
    High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
    по Conte, Tom
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 198
    From arithmetic to metaphysics a path through philosophical logic
    Публикация 2018
    Предметы: “...Logic....”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 199
    Programming Sudoku
    по Lee, Wei-Meng
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 200
    Formal Languages and Compilation
    по Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток