Отображение 581 - 600 результаты of 696 для поиска '"meaning."', время запроса: 0.06сек. Отмена результатов
  1. 581
    Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 582
    Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 583
    Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 584
    The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 585
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 586
    Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 587
    Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 588
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 589
    Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 590
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 591
    Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 592
    Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 593
    Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 594
    Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 595
    Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 596
    Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 597
    Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 598
    Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 599
    Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 600
    Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs. 306257...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток