Showing 601 - 620 results of 696 for search '"meaning."', query time: 0.06s Refine Results
  1. 601
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 602
    SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 603
    Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 604
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 605
    A Modular Calculus for the Average Cost of Data Structuring
    by Schellekens, Michel
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 606
    Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /
    by Prodan, Radu
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 607
    Computer Aided Systems Theory - EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /
    by Moreno Díaz, Roberto
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 608
    Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin
    by MacCaull, Wendy
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 609
    Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
    by Corradini, Andrea
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 610
    Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
    by Degano, Pierpaolo
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 611
    Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 612
    Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 613
    LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
    by Correa, José R.
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 614
    Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 615
    LATIN 2008: Theoretical Informatics 8th Latin American Symposium, BГєzios, Brazil, April 7-11, 2008. Proceedings /
    by Laber, Eduardo Sany
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 616
    Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 617
    Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 618
    Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 619
    Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 620
    SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs. 306257...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed